Pages that link to "Item:Q2751043"

The following pages link to Evaluating optimised decision procedures for propositional modal \({\mathbf K}_{({\mathbf m})}\) satisfiability (Q2751043):

Displaying 6 items.

• Evaluating optimized decision procedures for propositional modal \(\mathbf K(m)\) satisfiability (Q1610668) (← links)
• Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\). (Q1854375) (← links)
• The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
• BDD-based decision procedures for the modal logic K ★ (Q3647260) (← links)
• An analysis of empirical testing for modal decision procedures (Q4487264) (← links)
• Automated Deduction – CADE-19 (Q5900711) (← links)