Pages that link to "Item:Q3533153"
From MaRDI portal
The following pages link to optsat: A Tool for Solving SAT Related Optimization Problems (Q3533153):
Displayed 6 items.
- OptSAT (Q13410) (← links)
- Solving satisfiability problems with preferences (Q606909) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Algorithms for Solving Satisfiability Problems with Qualitative Preferences (Q2900530) (← links)
- Efficient MUS Enumeration of Horn Formulae with Applications to Axiom Pinpointing (Q3453236) (← links)
- Model enumeration in propositional circumscription via unsatisfiable core analysis (Q4592705) (← links)