Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Roberto Bruttomesso
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Tutorial on Satisfiability Modulo Theories
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
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
Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
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
National Stock Exchange vs Bombay Stock Exchange: A Comparative Analysis
International Journal of Trend in Scientific Research and Development
Theory and Applications of Satisfiability Testing - SAT 2009
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Immediate vs Delayed Shock on a Spatial Dimension
Psychonomic Science
