SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking (Q2046017)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking |
scientific article |
Statements
SAT-based explicit \(\mathsf{LTL}_f\) satisfiability checking (English)
0 references
16 August 2021
0 references
LTL over finite traces
0 references
satisfiability checking
0 references
SAT-based satisfiability checking
0 references
conflict-driven satisfiability checking
0 references
