Pages that link to "Item:Q5714742"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5714742):
Displayed 11 items.
- WPM3: an (in)complete algorithm for weighted partial MaxSAT (Q1680676) (← links)
- SAT encodings for pseudo-Boolean constraints together with at-most-one constraints (Q2060735) (← links)
- Propagation via lazy clause generation (Q2272160) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Automatic generation of redundant models for permutation constraint satisfaction problems (Q2460256) (← links)
- On Inconsistent Clause-Subsets for Max-SAT Solving (Q3523061) (← links)
- Towards Robust CNF Encodings of Cardinality Constraints (Q3523075) (← links)
- Sequential Encodings from Max-CSP into Partial Max-SAT (Q3637165) (← links)
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing (Q3637178) (← links)
- Mapping multivalued onto Boolean dynamics (Q5963470) (← links)
- MaxSAT resolution for regular propositional logic (Q6066845) (← links)