Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract).

Jeremias Berg, Fahiem Bacchus, Alex Poole

Browse the full IJCAI paper archive.