Open AccessA satisfiability procedure for quantified Boolean formulae
Author(s) -
David A. Plaisted,
Armin Biere,
Ying–Hui Zhu
Publication year - 2003
Publication title -
carolina digital repository (university of north carolina at chapel hill)
Language(s) - English
DOI - 10.17615/5psg-8a20
Subject(s) - satisfiability , boolean satisfiability problem , mathematics , maximum satisfiability problem , boolean expression , computer science , boolean function , discrete mathematics