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