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