Conference Proceedings

Finding All Minimal Unsatisfiable Subsets

M Garcia de la Banda, PJ Stuckey, J Wazny

Proceedings of the Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming | Published : 2003

Citation metrics