Login / Signup
Exploiting Target Enlargement and Dynamic Abstraction within Mixed BDD and SAT Invariant Checking.
Gabriel P. Bischoff
Karl S. Brace
Gianpiero Cabodi
Sergio Nocco
Stefano Quer
Published in:
Electron. Notes Theor. Comput. Sci. (2005)
Keyphrases
</>
dynamic environments
satisfiability problem
affine invariant
pseudo boolean constraints
computational complexity
search space
affine transformation
phase transition
sat encodings