A Gentle Non-Disjoint Combination of Satisfiability Procedures
| Title | A Gentle Non-Disjoint Combination of Satisfiability Procedures |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Chocron, P, Fontaine, P, Ringeissen, C |
| Editor | Demri, S, Kapur, D, Weidenbach, C |
| Conference Name | International Joint Conference on Automated Reasoning (IJCAR) |
| Publisher | Springer |
Work Package:
WP2
