%0 Conference Proceedings %T Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories %+ Max Planck Institute for Informatics [Saarbrücken] %+ Modeling and Verification of Distributed Algorithms and Systems (VERIDIS) %A Bromberger, Martin %A Fiori, Alberto %A Weidenbach, Christoph %< avec comité de lecture %( Lecture Notes in Computer Science %B VMCAI 2021 - 22nd International Conference Verification, Model Checking, and Abstract Interpretation %C Copenhagen/virtuel, Denmark %I Springer International Publishing %3 Verification, Model Checking, and Abstract Interpretation %V 12597 %P 511-533 %8 2021-01-17 %D 2021 %R 10.1007/978-3-030-67067-2_23 %Z Computer Science [cs]Conference papers %G English %L hal-03531893 %U https://inria.hal.science/hal-03531893 %~ CNRS %~ INRIA %~ INRIA_TEST %~ INRIA-LORRAINE %~ LORIA2 %~ INRIA-NANCY-GRAND-EST %~ TESTALAIN1 %~ UNIV-LORRAINE %~ INRIA2 %~ LORIA %~ LORIA-FM %~ INRIA-ALLEMAGNE