WalkQSAT
| Submitter: | Rowley | ||
| Description: | Devised by Ian Gent, Holger Hoos, Andrew G. D. Rowley, and Kevin Smyth, it is the first incomplete QBF solver based on stochastic search methods. It is a search-based solver using WalkSAT as a SAT oracle and guidance heuristic. | ||
| Results: | |||