Using constraint solvers as an oracle, with CPMpy

Activiteit: Talk or presentation at a workshop/seminar

Periode	23 jul. 2022
Evenementstitel	31st International Joint Conference on Artificial Intelligence
Evenementstype	Conference
Locatie	Vienna, AustriaToon op kaart
Mate van erkenning	International

Documenten & links

Solvers as an Oracle
Bestand: application/pdf, 1,37 MB
Type: Text
Explaining Optimisation
Bestand: application/pdf, 1,53 MB
Type: Text
Explaining Satisfiability and UNsatisfiability
Bestand: application/pdf, 2,28 MB
Type: Text