Max-SAT with cardinality constraint parameterized by the number of clauses
- Pallavi Jain
- , Lawqueen Kanesh
- , Fahad Panolan
- , Souvik Saha
- , Abhishek Sahu
- , Saket Saurabh
- , Anannya Upasana
Research output: Contribution to journal › Article › peer-review