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: | |||