Solving MAXSAT by Solving a Sequence of Simpler SAT Instances.

Jessica Davies, Fahiem Bacchus

Browse the full CP paper archive.