Publications

Export 6 results:
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Christophe Ringeissen  [Clear All Filters]
2014
P. Chocron, P. Fontaine, and C. Ringeissen, “A Gentle Non-Disjoint Combination of Satisfiability Procedures”, in International Joint Conference on Automated Reasoning (IJCAR), 2014.
P. Chocron, P. Fontaine, and C. Ringeissen, “Satisfiability Modulo Non-Disjoint Combinations of Theories Connected via Bridging Functions”, in Automated Deduction: Decidability, Complexity, Tractability (ADDCT), 2014.