Pages that link to "Item:Q2142066"
From MaRDI portal
The following pages link to CEGAR-tableaux: improved modal satisfiability via modal clause-learning and SAT (Q2142066):
Displaying 6 items.
- SAT-based proof search in intermediate propositional logics (Q2104497) (← links)
- Local reductions for the modal cube (Q2104538) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- Non-classical logics in satisfiability modulo theories (Q6541143) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
- General clauses for SAT-based proof search in intuitionistic propositional logic (Q6611961) (← links)
