The following pages link to (Q2721199):
Displaying 4 items.
- EXPtime tableaux for ALC (Q1589576) (← links)
- A subset-matching size-bounded cache for testing satisfiability in modal logics (Q2349812) (← links)
- Optimizing terminological reasoning for expressive description logics (Q2462645) (← links)
- Towards an efficient library for SAT: A manifesto (Q2741533) (← links)