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