A Gentle Non-Disjoint Combination of Satisfiability Procedures

TitleA Gentle Non-Disjoint Combination of Satisfiability Procedures
Publication TypeConference Paper
Year of Publication2014
AuthorsChocron, P, Fontaine, P, Ringeissen, C
EditorDemri, S, Kapur, D, Weidenbach, C
Conference NameInternational Joint Conference on Automated Reasoning (IJCAR)
PublisherSpringer
Work Package: 
WP2