10161 Abstracts Collection - Decision Procedures in Software, Hardware and Bioware.
Nikolaj BjørnerRobert NieuwenhuisHelmut VeithAndrei VoronkovPublished in: Decision Procedures in Software, Hardware and Bioware (2010)
Keyphrases
- decision procedures
- theorem proving
- modal logic
- computer systems
- hardware design
- hardware platforms
- embedded systems
- blue gene
- automated reasoning
- reasoning problems
- satisfiability problem
- hardware implementation
- conjunctive queries
- tight complexity bounds
- database
- probabilistic reasoning
- inference rules
- incomplete information
- first order logic
- np complete
- logic programming
- xml documents
- lower bound
- search algorithm
- database systems
- metadata
- machine learning