ncQuBE1.1
| Submitter: | Massimo Narizzano | ||
| Description: | ncQuBE2.0 is a composition of two different tools (i) ncQuBE1.0 (see the description above) (ii) nc2cn, handle non prenex, non cnf formulas. If the formula is a prenex cnf it tries to recover the original structure of the formula in order to pass some information to the solver, that may help during the search. Authors E. Giunchiglia, P. Marin, M. Narizzano | ||
| Results: | |||