DMCA

Solving Non-Boolean Satisfiability Problems with Stochastic Local Search (2001)

by Alan M. Frisch , Timothy J. Peugniez , Anthony J. Doggett , Peter W. Nightingale
Venue:in Proc. IJCAI-01
Citations:38 - 2 self