Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions
| Title | Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Chocron, P, Fontaine, P, Ringeissen, C |
| Editor | Ghilardi, S, Sattler, U, Sofronie-Stokkermans, V |
| Conference Name | Automated Deduction: Decidability, Complexity, Tractability (ADDCT) |
Work Package:
WP2
