Zobrazeno 1 - 2
of 2
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
Autor:
Pierre Schaus
This book constitutes the proceedings of the 19th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2022, which was held in Los Angeles, CA, USA, in June 2022.The 28 regula