@inproceedings{bromberger:hal-03531893, TITLE = {{Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories}}, AUTHOR = {Bromberger, Martin and Fiori, Alberto and Weidenbach, Christoph}, URL = {https://inria.hal.science/hal-03531893}, BOOKTITLE = {{VMCAI 2021 - 22nd International Conference Verification, Model Checking, and Abstract Interpretation}}, ADDRESS = {Copenhagen/virtuel, Denmark}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Verification, Model Checking, and Abstract Interpretation}, VOLUME = {12597}, PAGES = {511-533}, YEAR = {2021}, MONTH = Jan, DOI = {10.1007/978-3-030-67067-2\_23}, HAL_ID = {hal-03531893}, HAL_VERSION = {v1}, }