Dominant Controllability Check Using QBF-Solver and Netlist Optimizer.
Tamir HeymanDan SmithYogesh MahajanLance LeongHusam Abu-HaimedPublished in: SAT (2014)
Keyphrases
- quantified boolean formulas
- reasoning tasks
- boolean formula
- decision procedures
- universally quantified
- temporal reasoning
- propositional satisfiability
- quantified boolean formulae
- optimization algorithm
- simple temporal
- practical problems
- database
- orders of magnitude
- temporal constraints
- propositional logic
- automated reasoning