W

Walksat

Boolean satisfiability testing by local search.