Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Bruno Dutertre
A Tutorial on Satisfiability Modulo Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Preface to the Special Issue “SI: Satisfiability Modulo Theories”
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Bit-Precise Formal Verification for SystemC Using Satisfiability Modulo Theories Solving
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework
Journal of the Brazilian Computer Society
Computer Science
Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory
Proceedings of the AAAI Conference on Artificial Intelligence
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Tutorial Introduction to Designs in Unifying Theories of Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Tutorial on Separation Logic (Invited Tutorial)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On an Unsatisfiability-Satisfiability Prover
Publications of the Research Institute for Mathematical Sciences
Mathematics
