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