Sukrut Rao
Sukrut Rao
Home
Publications
Projects
Experience
Awards
Contact
minisat
MaxSAT Solver
A partial unweighted MaxSAT solver
BibTeX
×