Login / Signup
SAT Modulo BDD -- A Combined Verification Approach for Incomplete Designs.
Tobias Nopper
Christian Miller
Matthew Lewis
Bernd Becker
Christoph Scholl
Published in:
MBMV (2010)
Keyphrases
</>
pseudo boolean constraints
genetic algorithm
missing data
model checking
formal verification
noisy data
design principles
satisfiability problem
sat solvers
boolean formula