مؤتمر
Computing Max-SAT Refutations using SAT Oracles
العنوان: | Computing Max-SAT Refutations using SAT Oracles |
---|---|
المؤلفون: | Py, Matthieu, Cherif, Mohamed Sami, Habet, Djamal |
المصدر: | 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) ICTAI Tools with Artificial Intelligence (ICTAI), 2021 IEEE 33rd International Conference on. :404-411 Nov, 2021 |
Relation: | 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781665408981 |
---|---|
تدمد: | 23750197 |
DOI: | 10.1109/ICTAI52525.2021.00066 |