MaxSAT Evaluation 2017 Solver and Benchmark Descriptions

Carlos Ansotegui, Fahiem Bacchus, Matti Järvisalo, Ruben Martins
2017 unpublished
fatcat:esckoqaesndq7gypansab2mrgu