مؤتمر
Inferring Clauses and Formulas in Max-SAT
| العنوان: | Inferring Clauses and Formulas in Max-SAT |
|---|---|
| المؤلفون: | 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. :632-639 Nov, 2021 |
| Relation: | 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9781665408981 |
|---|---|
| تدمد: | 23750197 |
| DOI: | 10.1109/ICTAI52525.2021.00101 |