Pages that link to "Item:Q1426002"
From MaRDI portal
The following pages link to Optimal satisfiability for propositional calculi and constraint satisfaction problems. (Q1426002):
Displaying 8 items.
- Generalized modal satisfiability (Q988571) (← links)
- The complexity of selecting maximal solutions (Q1893737) (← links)
- Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability (Q2751043) (← links)
- Non-uniform Boolean Constraint Satisfaction Problems with Cardinality Constraint (Q3540174) (← links)
- (Q4539619) (← links)
- The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments (Q4982126) (← links)
- Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help? (Q5504698) (← links)
- Generalized satisfiability problems via operator assignments (Q5919560) (← links)