qube4.0
Submitter: | Massimo Narizzano | ||
Description: | Advanced version of qube3.0 with preprocessing of the input formula (binary clause resolution, variable elimination by equivalence checking). | ||
Results: | |||
Submitter: | Massimo Narizzano | ||
Description: | Advanced version of qube3.0 with preprocessing of the input formula (binary clause resolution, variable elimination by equivalence checking). | ||
Results: | |||