cmMUS MUS-membership solver
- author: Mikoláš Janota
- contributors: Joao Marques-Silva
download
References
|
[1] cmMUS: A Tool for Circumscription-Based MUS Membership Testing
Proceedings of 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 11) |
|
[2] Models and Algorithms for MUS Membership Testing
Technical Report TR-007-11, INESCD-ID, January 2011 |
------
