Decision Procedures : An Algorithmic Point of View
Publication year: 2008
ISBN: 978-3-540-74105-3
Internet Resource: Please Login to download book
The book concentrates on decision procedures for first-order theories that are commonly used in automated verification and reasoning, theorem-proving, compiler optimization and operations research.
Subject: Computer Science, Algorithms, Automat, C++, algorithm, logic, operations research, optimization, proving, verification, Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Theory of Computation, Software Engineering
