1 paper · 1 filter
Jaroslav Bendik, Nikola Benes, Ivana Cerna +1
In various areas of computer science, the problem of dealing with a set of constraints arises. If the set of constraints is unsatisfiable, one may ask for a minimal description of…