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