Publications

Filters: Author is Christoph Weidenbach [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.

2012

P. Fontaine, S. Merz, and C. Weidenbach, “Combination of Disjoint Theories: Beyond Decidability”, in Intl. Joint Conf. Automated Reasoning (IJCAR 2012), Manchester, UK, 2012.