Hans Kleine Büning, Xishun Zhao
Minimal False Quantified Boolean Formulas
ICST, 2006.
@inproceedings{SAT-2006-BuningZ, author = "Hans Kleine Büning and Xishun Zhao", booktitle = "{Proceedings of the Ninth International Conference on Theory and Applications of Satisfiability Testing}", doi = "10.1007/11814948_32", isbn = "3-540-37206-7", pages = "339--352", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Minimal False Quantified Boolean Formulas}", volume = 4121, year = 2006, }