![](/img/cover-not-exists.png)
Understanding the power of Max-SAT resolution through UP-resilience
Cherif, Mohamed Sami, Habet, Djamal, Abramé, AndréVolume:
289
Journal:
Artificial Intelligence
DOI:
10.1016/j.artint.2020.103397
Date:
December, 2020
File:
PDF, 716 KB
2020