LMHS
From MaRDI portal
Software:28606
swMATH16738MaRDI QIDQ28606FDOQ28606
Author name not available (Why is that?)
Cited In (12)
- 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
- 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
- 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
