Login / Signup
Hierarchical Constraint Solving in the Parametric Form with Applications to Efficient Symbolic Simulation Based Verification.
Prabhat Jain
Ganesh Gopalakrishnan
Published in:
ICCD (1993)
Keyphrases
</>
constraint solving
constraint logic programming
model checking
constraint propagation
neural network
symbolic representation
constraint solver
objective function
optimal solution
search algorithm
dynamic programming
constraint satisfaction problems
constraint satisfaction
constraint programming
finite domain