Search

Sukrut Rao

Sukrut Rao

Home
Publications
Academic Activities
Teaching
Awards
Contact

minisat

MaxSAT Solver

A partial unweighted MaxSAT solver

© 2024 Sukrut Rao · Powered by the Academic theme for Hugo.
Site last updated on November 4, 2024.

BibTeX