Login / Signup
Forward LTLf Synthesis: DPLL At Work.
Marco Favorito
Published in:
IPS-RCRA-SPIRIT@AI*IA (2023)
Keyphrases
</>
np complete
sat solvers
propositional logic
program synthesis
bi directional
first order logic
sat solving
forward and backward
davis putnam
database
propositional satisfiability
search tree
cellular automata
expert systems
computational complexity
search algorithm
databases
real time