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