| Reduced Cost Fixing for Maximum Satisfiability. | 1 | 0.37 | 2018 |
| A Hybrid Approach to Optimization in Answer Set Programming. | 0 | 0.34 | 2018 |
| Reduced Cost Fixing In Maxsat | 1 | 0.37 | 2017 |
| A Core-Guided Approach to Learning Optimal Causal Graphs. | 0 | 0.34 | 2017 |
| MaxPre: An Extended MaxSAT Preprocessor. | 0 | 0.34 | 2017 |
| LMHS: A SAT-IP Hybrid MaxSAT Solver. | 16 | 0.58 | 2016 |
| Subsumed Label Elimination for Maximum Satisfiability. | 1 | 0.36 | 2016 |
| Implicit Hitting Set Algorithms for Reasoning Beyond NP. | 4 | 0.40 | 2016 |
| Improving the effectiveness of SAT-based preprocessing for MaxSAT | 7 | 0.47 | 2015 |
| Re-using Auxiliary Variables for MaxSAT Preprocessing | 3 | 0.42 | 2015 |
