Pages that link to "Item:Q1854375"
From MaRDI portal
The following pages link to Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). (Q1854375):
Displaying 9 items.
- Formulating the template ILP consistency problem as a constraint satisfaction problem (Q487650) (← links)
- The SAT-based approach to separation logic (Q862390) (← links)
- Complexity analysis of propositional resolution with autarky pruning (Q1961454) (← links)
- A conflict-driven solving procedure for poly-power constraints (Q2303230) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- Generalizing DPLL and satisfiability for equalities (Q2643080) (← links)
- (Q2741533) (← links)
- BDD-based decision procedures for the modal logic K ★ (Q3647260) (← links)
- Modal Satisfiability via SMT Solving (Q5256336) (← links)
