Conference
SAT Solver Selection: Move Beyond Handcrafted Features
| Τίτλος: | SAT Solver Selection: Move Beyond Handcrafted Features |
|---|---|
| Συγγραφείς: | Zhang, Yitao, Yang, Xiao, Lai, Yong, Yang, Bo |
| Πηγή: | Proceedings of the 32nd ACM SIGKDD Conference on Knowledge Discovery and Data Mining V.2. :6618-6628 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3770855.3817669 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3770855.3817669 |
|---|