Automated Discovery of Composite SAT Variable-Selection Heuristics (2002)
by
Alex Fukunaga
| Citations: | 22 - 1 self |
Document Versions
| Automated Discovery of Composite SAT Variable-Selection Heuristics –Alex Fukunaga — 2002 |
