2clsQ

Submitter: Horst Samulowitz
Description: A search based QBF solver that applies binary clause reasoning and hyper-resolution. [ H. Samulowitz and F. Bacchus. Binary Clause Reasoning in QBF. In In proc. of Ninth Int.l Conference on Theory and Applications of Satisfiability Testing (SAT'06), 2006. ]
Results: