Dynamic Programming for Symbolic Boolean Realizability and Synthesis.
Yi LinLucas M. TabajaraMoshe Y. VardiPublished in: CoRR (2024)
Keyphrases
- dynamic programming
- real valued
- boolean functions
- state space
- symbolic representation
- optimal policy
- program synthesis
- greedy algorithm
- stereo matching
- linear programming
- connectionist models
- connectionist systems
- markov decision processes
- neural learning
- symbolic reasoning
- high level
- lagrangian relaxation
- redescription mining
- symbolic data
- real time
- infinite horizon
- optimal control
- coarse to fine
- single machine
- control system
- evolutionary algorithm
- multi agent systems
- reinforcement learning
- neural network