Pages that link to "Item:Q3608783"
From MaRDI portal
The following pages link to Encodings of Bounded LTL Model Checking in Effectively Propositional Logic (Q3608783):
Displayed 6 items.
- Deciding effectively propositional logic using DPLL and substitution sets (Q972432) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Symbolic backward reachability with effectively propositional logic. Application to security policy analysis (Q2441771) (← links)
- Deciding Effectively Propositional Logic Using DPLL and Substitution Sets (Q3541720) (← links)
- Inst-Gen – A Modular Approach to Instantiation-Based Automated Reasoning (Q4916080) (← links)
- Planning with Effectively Propositional Logic (Q4916083) (← links)