A Boolean Heuristic for Disjoint SOP Synthesis.
Padmanabhan BalasubramanianAnna BernasconiValentina CirianiTiziano VillaPublished in: DSD (2021)
Keyphrases
- search algorithm
- pairwise
- optimal solution
- real valued
- simulated annealing
- dynamic programming
- bidirectional search
- program synthesis
- constraint satisfaction
- combinatorial optimization
- search strategies
- tabu search
- boolean queries
- beam search
- texture synthesis
- real time
- linear programming
- lower bound
- image sequences
- information systems