Autarkies for DQCNF (bibtex)
by Oliver Kullmann, Ankit Shukla
Reference:
Autarkies for DQCNFOliver Kullmann, Ankit Shukla2019 Formal Methods in Computer Aided Design, FMCAD 2019, San Jose, CA, USA, October 22-25, 2019 (Clark W. Barrett, Jin Yang, eds.), pages 179–183, 2019, IEEE.
Bibtex Entry:
@inproceedings{DBLP:conf/fmcad/KullmannS19,
  author    = {Oliver Kullmann and
               Ankit Shukla},
  editor    = {Clark W. Barrett and
               Jin Yang},
  title     = {Autarkies for {DQCNF}},
  booktitle = {2019 Formal Methods in Computer Aided Design, {FMCAD} 2019, San Jose,
               CA, USA, October 22-25, 2019},
  pages     = {179--183},
  publisher = {{IEEE}},
  year      = {2019},
  url       = {https://doi.org/10.23919/FMCAD.2019.8894263a},
  doi       = {10.23919/FMCAD.2019.8894263},
  timestamp = {Thu, 14 Nov 2019 12:17:38 +0100},
  biburl    = {https://dblp.org/rec/conf/fmcad/KullmannS19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Powered by bibtexbrowser