Replication-Guided Enumeration of Minimal Unsatisfiable Subsets

Publication
In 26th International Conference on Principles and Practice of Constraint Programming
Jaroslav Bendík
Jaroslav Bendík
Post-doctoral researcher