Efficiently Explaining CSPs with Unsatisfiable Subset Optimization

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › Research

7 Citations (Scopus)

100 Downloads (Pure)

Filter

Using constraint solvers as an oracle, with CPMpy
Emilio Gamba (Speaker), Tias Guns (Contributor) & Ignace Bleukx (Speaker)
23 Jul 2022
Activity: Talk or presentation › Talk or presentation at a workshop/seminar

File
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba (Speaker), Tias Guns (Contributor) & Bart Bogaerts (Contributor)
31 Jul 2022
Activity: Talk or presentation › Talk or presentation at a workshop/seminar

File
Efficiently Explaining CSPs with Unsatisfiable Subset Optimization
Emilio Gamba (Speaker), Tias Guns (Contributor) & Bart Bogaerts (Contributor)
3 Jul 2022
Activity: Talk or presentation › Talk or presentation at a workshop/seminar

Activities