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