Complete local search for propositional satisfiability (2004)

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