@inproceedings{chocron:hal-01087162, TITLE = {{A Gentle Non-Disjoint Combination of Satisfiability Procedures}}, AUTHOR = {Chocron, Paula and Fontaine, Pascal and Ringeissen, Christophe}, URL = {https://inria.hal.science/hal-01087162}, BOOKTITLE = {{Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic}}, ADDRESS = {Vienna, Austria}, PUBLISHER = {{Springer}}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {8562}, PAGES = {122-136}, YEAR = {2014}, MONTH = Jul, DOI = {10.1007/978-3-319-08587-6\_9}, KEYWORDS = {satisfiability procedure ; non-disjoint union of theories ; combination method}, HAL_ID = {hal-01087162}, HAL_VERSION = {v1}, }