Skolem Function Continuation for Quantified Boolean Formulas

Fazekas, Katalin; Heule, Marijn J.H.; Seidl, Martina; Biere, Armin

doi:10.1007/978-3-319-61467-0_8

by Katalin Fazekas, Marijn J.H. Heule, Martina Seidl, Armin Biere

Reference:

Skolem Function Continuation for Quantified Boolean FormulasKatalin Fazekas, Marijn J.H. Heule, Martina Seidl, Armin BiereTests and Proofs - 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings (Sebastian Gabmeyer, Einar Broch Johnsen, eds.), volume 10375 of Lecture Notes in Computer Science, pages 129–138, 2017, Springer.

Bibtex Entry:

@string{springer="Springer"}
@inproceedings{DBLP:conf/tap/FazekasHSB17,
  author    = {Katalin Fazekas and
           Marijn J.H. Heule and
               Martina Seidl and
               Armin Biere},
  editor    = {Sebastian Gabmeyer and
               Einar Broch Johnsen},
  title     = {Skolem Function Continuation for Quantified Boolean Formulas},
  booktitle = {Tests and Proofs - 11th International Conference, {TAP} 2017, Held
               as Part of {STAF} 2017, Marburg, Germany, July 19-20, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10375},
  pages     = {129--138},
  publisher = {Springer},
  year      = {2017},
  url       = {http://epub.jku.at/obvulioa/download/pdf/2164991},
  doi       = {10.1007/978-3-319-61467-0_8},
  timestamp = {Mon, 03 Jul 2017 15:54:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tap/FazekasHSB17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}