DMCA

Postponing optimization to speed up maxsat solving (2013)

Cached

Download Links

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