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

English