Abstract Cores in Implicit Hitting Set MaxSat Solving.

Jeremias Berg, Fahiem Bacchus, Alex Poole

Browse the full SAT paper archive.