SAT-Based Explicit LTLf Satisfiability Checking.

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

Published in: AAAI (2019)

Keyphrases

answer set programming
sat solvers
version space
data sets
orders of magnitude
answer sets
ai planning
constraint solver
boolean satisfiability
real world
knowledge base
domain knowledge
domain specific
bounded model checking