Evaluating Search Heuristics and Optimization Techniques in Propositional Satisfiability (2001)

View PDF

Download Links

by E. Giunchiglia , M. Maratea , A. Tacchella , D. Zambonin
Venue:In Proc. of IJCAR 2001, volume 2083 of LNCS
Citations:25 - 11 self