Timing analysis using propositional satisfiability.
Luís Guerra e SilvaJoão P. Marques SilvaLuís Miguel SilveiraKarem A. SakallahPublished in: ICECS (1998)
Keyphrases
- propositional satisfiability
- sat solvers
- propositional logic
- constraint programming
- automated reasoning
- industrial applications
- solving hard
- davis putnam
- backtrack search
- variable ordering
- sat problem
- max sat
- constraint satisfaction
- propositional formulas
- orders of magnitude
- satisfiability problem
- decision problems
- constraint satisfaction problems
- expert systems
- knowledge base