Page 1
Page 1
Decision Procedures : An Algorithmic Point of View
Concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.
