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
Jianwen Li, Geguang Pu, Yueling Zhang, Moshe Y. Vardi, Kristin Yvonne Rozier
Topics & Concepts
SatisfiabilityComputer scienceModel checkingBenchmark (surveying)HeuristicSolverBoolean satisfiability problemAlgorithmComputabilityTheoretical computer sciencePath (computing)Propositional calculusProgramming languageArtificial intelligenceGeographyGeodesyFormal Methods in VerificationLogic, Reasoning, and KnowledgeAI-based Problem Solving and Planning