Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions

TitleSatisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
Publication TypeConference Paper
Year of Publication2014
AuthorsChocron, P, Fontaine, P, Ringeissen, C
EditorGhilardi, S, Sattler, U, Sofronie-Stokkermans, V
Conference NameAutomated Deduction: Decidability, Complexity, Tractability (ADDCT)
Work Package: 
WP2