Complete local search for propositional satisfiability (2004)

by Hai Fang
Venue:In proceedings of AAAI
Citations:24 - 0 self