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):
Displayed 6 items.
- The SAT-based approach to separation logic (Q862390) (← links)
- Complexity analysis of propositional resolution with autarky pruning (Q1961454) (← 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)