Using constraint solvers as an oracle, with CPMpy

Activity: Talk or presentation › Talk or presentation at a workshop/seminar

Period	23 Jul 2022
Event title	31st International Joint Conference on Artificial Intelligence
Event type	Conference
Location	Vienna, AustriaShow on map
Degree of Recognition	International

Documents & Links

Solvers as an Oracle
File: application/pdf, 1.37 MB
Type: Text
Explaining Optimisation
File: application/pdf, 1.53 MB
Type: Text
Explaining Satisfiability and UNsatisfiability
File: application/pdf, 2.28 MB
Type: Text