Postponing optimization to speed up maxsat solving (2013)

by Jessica Davies, Fahiem Bacchus
Venue:In 19th International Conference on Principles and Practice of Constraint Programming