@incollection{DBLP:series/faia/BuningB09,
author = {Hans Kleine B{\"u}ning and
Uwe Bubeck},
title = {Theory of Quantified Boolean Formulas},
booktitle = {Handbook of Satisfiability},
year = {2009},
pages = {735-760},
ee = {http://dx.doi.org/10.3233/978-1-58603-929-5-735},
crossref = {DBLP:series/faia/2009-185},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:series/faia/2009-185,
editor = {Armin Biere and
Marijn Heule and
Hans van Maaren and
Toby Walsh},
title = {Handbook of Satisfiability},
booktitle = {Handbook of Satisfiability},
publisher = {IOS Press},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {185},
year = {2009},
isbn = {978-1-58603-929-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
