Login / Signup
10161 Executive Summary - Decision Procedures in Software, Hardware and Bioware.
Nikolaj Bjørner
Robert Nieuwenhuis
Helmut Veith
Andrei Voronkov
Published in:
Decision Procedures in Software, Hardware and Bioware (2010)
Keyphrases
</>
decision procedures
modal logic
theorem proving
automated reasoning
hardware design
computer systems
reasoning problems
hardware platforms
embedded systems
blue gene
conjunctive queries
satisfiability problem
inference rules
hardware implementation