A Robust and Scalable Technique for the Constraints Solving Problem in High-Level Verification.
Mahesh A. IyerPublished in: MTV (2003)
Keyphrases
- high level
- low level
- linear programming problems
- constrained problems
- constraint satisfaction
- integer program
- source code
- higher level
- parameter free
- partial occlusion
- distributed constraint optimization problems
- backtracking algorithm
- asynchronous circuits
- constraint problems
- linear constraints
- mixed integer
- lower level
- highly efficient
- neural network
- low level features
- lightweight
- programming language
- search algorithm
- reinforcement learning
- genetic algorithm