Towards Bridging the Gap Between SAT and Max-SAT Refutations
| Title: | Towards Bridging the Gap Between SAT and Max-SAT Refutations |
|---|---|
| Authors: | Py, Matthieu; Cherif, Mohamed Sami; Habet, Djamal |
| Source: | 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2020 IEEE 32nd International Conference on. :137-144 Nov, 2020 |
| Relation: | 2020 IEEE 32nd International Conference on Tools with Artificial Intelligence (ICTAI) |
| Database: | IEEE Xplore Digital Library |