# SAT-based explicit <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:msub><mml:mrow><mml:mi mathvariant="sans-serif">LTL</mml:mi></mml:mrow><mml:mrow><mml:mi>f</mml:mi></mml:mrow></mml:msub></mml:math> satisfiability checking

> Research article (Artificial Intelligence, 2020) · cited 29× · AI/ML

**Wikidata**: [openalex:W3064086008](https://www.wikidata.org/wiki/openalex:W3064086008)  
**Source**: https://4ort.xyz/entity/sat-based-explicit-mml-math-xmlns-mml-http-www-w3-org-1998-math-mathml-altimg-si1-svg-mml-msub-mml-mrow-mml-mi-mathvaria