Pages that link to "Item:Q2825415"
From MaRDI portal
The following pages link to A tableau calculus for minimal modal model generation (Q2825415):
Displaying 5 items.
- Positive unit hyperresolution tableaux and their application to minimal model generation (Q1581852) (← links)
- Efficient SAT-based minimal model generation methods for modal logic S5 (Q2118302) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- A tableau calculus for minimal modal model generation (Q2825415) (← links)
- Resource-Adaptive Model Generation as a Performance Model (Q4454093) (← links)