مؤتمر
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 |
ردمك: | 9781728192284 |
---|---|
تدمد: | 23750197 |
DOI: | 10.1109/ICTAI50040.2020.00032 |