A Gentle Non-disjoint Combination of Satisfiability Procedures

Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-319-08587-6_9 ◽

2014 ◽

pp. 122-136 ◽

Cited By ~ 8

Author(s):

Paula Chocron ◽

Pascal Fontaine ◽

Christophe Ringeissen

Download Full-text