مؤتمر
Towards Bridging the Gap Between SAT and Max-SAT Refutations
| العنوان: | Towards Bridging the Gap Between SAT and Max-SAT Refutations |
|---|---|
| المؤلفون: | Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal |
| المصدر: | 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) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781728192284 |
|---|---|
| تدمد: | 23750197 |
| DOI: | 10.1109/ICTAI50040.2020.00032 |