![](/img/cover-not-exists.png)
[Lecture Notes in Computer Science] Artificial Intelligence and Symbolic Computation Volume 11110 (13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings) || FMUS2: An Efficient Algorithm to Compute Minimal Unsatisfiable Subsets
Fleuriot, Jacques, Wang, Dongming, Calmet, JacquesVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-99957-9_7
File:
PDF, 448 KB
english, 2018