Cited in
(20)- Improved WPM encoding for coalition structure generation under MC-nets
- LMHS: a SAT-IP hybrid MaxSat solver
- Discovering causal graphs with cycles and latent confounders: an exact branch-and-bound approach
- Sat4j
- On tackling the limits of resolution in SAT solving
- QMaxSAT
- Open-WBO
- MaxHS
- MaxPre
- maxino
- Abstract cores in implicit hitting set MaxSat solving
- \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT
- Pakota: a system for enforcement in abstract argumentation
- RC2
- A constraint optimization approach to causal discovery from subsampled time series data
- Propositional proof systems based on maximum satisfiability
- An assumption-based approach for solving the minimal S5-satisfiability problem
- WPM3
- Unsatisfiable core analysis and aggregates for optimum stable model search
- Boosting branch-and-bound MaxSAT solvers with clause learning
This page was built for software: LMHS
