Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking.

Ramesh Bharadwaj Steve Sims

Published in: TACAS (2000)

Keyphrases

set bounds propagation
constraint solvers
constraint satisfaction problems
ranking algorithm
constraint solving
neural network
multi objective
combinatorial problems
solving problems
knowledge compilation