A Duality-Aware Calculus for Quantified Boolean Formulas (bibtex)
by Katalin Fazekas, Martina Seidl, Armin Biere
Reference:
A Duality-Aware Calculus for Quantified Boolean FormulasKatalin Fazekas, Martina Seidl, Armin Biere18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016 (James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie, eds.), pages 181–186, 2016, IEEE Computer Society.
Bibtex Entry:
@inproceedings{DBLP:conf/synasc/FazekasSB16,
  author    = {Katalin Fazekas and
               Martina Seidl and
               Armin Biere},
  editor    = {James H. Davenport and
               Viorel Negru and
               Tetsuo Ida and
               Tudor Jebelean and
               Dana Petcu and
               Stephen M. Watt and
               Daniela Zaharie},
  title     = {A Duality-Aware Calculus for Quantified Boolean Formulas},
  booktitle = {18th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2016, Timisoara, Romania, September
               24-27, 2016},
  pages     = {181--186},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://epub.jku.at/obvulioa/download/pdf/1932373},
  doi       = {10.1109/SYNASC.2016.038},
  timestamp = {Fri, 19 May 2017 01:26:38 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/synasc/FazekasSB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Powered by bibtexbrowser