DMCA

Exploiting the power of MIP solvers in Maxsat (2013)

Cached

Download Links

by Jessica Davies , Fahiem Bacchus
Venue:In Proc. SAT, volume 7962 of LNCS
Citations:7 - 1 self