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

Cached

Download Links

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