• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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

Ramesh BharadwajSteve 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