Prateek Kumar
Home
Posts
Projects
Publications
Experience
Contact
Open-WBO-Inc in MaxSAT Evaluation 2018
Saurabh Joshi
,
Prateek Kumar
,
Vasco Manquinho
,
Ruben Martins
,
Alexander Nadel
,
Sukrut Rao
Jul 12, 2018
PDF
Code
Project
Type
Report
Publication
MaxSAT Evaluation
Date
July, 2018
MaxSAT
Open-WBO
Authors
Saurabh Joshi
Asst. Prof. at
IIT Hyderabad
.
Prateek Kumar
Undergraduate student at
IIT Hyderabad
.
Vasco Manquinho
Ruben Martins
Carnegie Mellon University
Alexander Nadel
Sukrut Rao
Undergraduate student at
IIT Hyderabad
.
Next
Approximation Strategies for Incomplete MaxSAT
Cite
×