QSAT
| Submitter: | Jussi Rintanen | ||
| Description: | Devised by Jussi Rintanen, it is a search-based solver written in C, featuring a lookahead heuristic with failed literal rule, sampling, partial unfolding and quantifier inversion. | ||
| Results: | |||
| Submitter: | Jussi Rintanen | ||
| Description: | Devised by Jussi Rintanen, it is a search-based solver written in C, featuring a lookahead heuristic with failed literal rule, sampling, partial unfolding and quantifier inversion. | ||
| Results: | |||