Sukrut Rao
Sukrut Rao
Home
Publications
Academic Activities
Teaching
Awards
Contact
Open-WBO-Inc in MaxSAT Evaluation 2018
Saurabh Joshi
,
Prateek Kumar
,
Vasco Manquinho
,
Ruben Martins
,
Alexander Nadel
,
Sukrut Rao
BibTeX
Project
PDF
Code
Type
Report
Publication
MaxSAT Evaluation 2018: Solver and Benchmark Descriptions
maxsat
approximation
incomplete-maxsat
open-wbo-inc
BibTeX
×