Login / Signup
Executing Underspecified OCL Operation Contracts with a SAT Solver.
Matthias P. Krieger
Alexander Knapp
Published in:
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2008)
Keyphrases
</>
sat solvers
sat solving
orders of magnitude
search strategies
sat instances
sat problem
boolean satisfiability
constraint satisfaction
search tree
max sat
propositional satisfiability
search space
sat encodings
constraint solver
clause learning
constraint satisfaction problems
computational complexity
co occurrence