SQBF
| Submitter: | Horst Samulowitz | ||
| Description: | A search based QBF solver that integrates a SAT solver within a QBF solver very tightly. | ||
| Results: | |||
| Submitter: | Horst Samulowitz | ||
| Description: | A search based QBF solver that integrates a SAT solver within a QBF solver very tightly. | ||
| Results: | |||