Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Bleukx, Ignace"'
Debugging unsatisfiable constraint models can be a tedious task. Current tools allow a user to extract a subset of constraints that render the problem unsatisfiable (MUS). However, in some cases, this MUS can be very large or too difficult to underst
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1131::9f9dedec822b8c6c5906ea58717d64dd
https://lirias.kuleuven.be/handle/20.500.12942/722435
https://lirias.kuleuven.be/handle/20.500.12942/722435
