SAT-based Explicit LTLf Satisfiability Checking.

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

Published in: CoRR (2018)

Keyphrases

answer set programming
database
sat solvers
search engine
website
constraint satisfaction problems
constraint satisfaction
planning problems
answer sets
ai planning
constraint solver