DMCA

cmMUS: A tool for circumscription-based MUS membership testing (2011)

Cached

Download Links

by Joao Marques-silva
Venue:Proceedings of Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011
Citations:4 - 0 self