DMCA
Using CSP Look-Back Techniques to Solve Real-World SAT Instances (1997)
by
Roberto Bayardo Jr
,
Robert C. Schrag
Citations: | 46 - 0 self |