SAT-based explicit LTLf satisfiability checking.

Jianwen Li Geguang Pu Yueling Zhang Moshe Y. Vardi Kristin Y. Rozier

Published in: Artif. Intell. (2020)

Keyphrases

answer set programming
sat solvers
case study
ai planning
version space
bounded model checking
website
search space