Forward LTLf Synthesis: DPLL At Work.

Published in: CoRR (2023)

Keyphrases

propositional logic
first order logic
np complete
data sets
sat solvers
forward and backward
bi directional
propositional satisfiability
program synthesis
database
genetic algorithm
case study
search tree
sat problem
clause learning
random sat