Dynamic Programming for Symbolic Boolean Realizability and Synthesis.
Yi LinLucas Martinelli TabajaraMoshe Y. VardiPublished in: CAV (3) (2024)
Keyphrases
- dynamic programming
- boolean functions
- real valued
- state space
- symbolic representation
- optimal control
- texture synthesis
- stereo matching
- single machine
- high level
- markov decision processes
- greedy algorithm
- boolean queries
- coarse to fine
- linear programming
- program synthesis
- connectionist learning
- machine learning
- databases
- analog circuits
- connectionist systems
- lagrangian relaxation
- sequence alignment
- infinite horizon
- np hard
- multiscale
- neural network