QuBE6.1
Submitter: | Paolo Marin | ||
Description: | QuBE6.1 is a composition of two different tools (i) qube3.2 is an improvement of the last evaluation core solver (qube3.1) (ii) sQueezeBF, a powerful preprocessor that applies equivalence substitution, qresolution and clause (self)subsumption. Could be considered as an enhancement of ncQuBE1.0. Authors E. Giunchiglia, P. Marin, M. Narizzano | ||
Results: | |||