Saurabh Joshi
Saurabh Joshi
Home
Projects
Publications
Teaching
Students
Ruben Martins
Latest
Reflections on "Incremental Cardinality Constraints for MaxSAT"
Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
Approximation Strategies for Incomplete MaxSAT
On Using Incremental Encodings in Unsatisfiability-based MaxSAT Solving
Generalized Totalizer Encoding for Pseudo-Boolean Constraints
Incremental Cardinality Constraints for MaxSAT
Cite
×