Conference Papers
Year : 2021
Christoph Weidenbach : Connect in order to contact the contributor
https://inria.hal.science/hal-03531893
Submitted on : Tuesday, January 18, 2022-1:28:04 PM
Last modification on : Wednesday, April 19, 2023-4:20:57 AM
Cite
Martin Bromberger, Alberto Fiori, Christoph Weidenbach. Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories. VMCAI 2021 - 22nd International Conference Verification, Model Checking, and Abstract Interpretation, Jan 2021, Copenhagen/virtuel, Denmark. pp.511-533, ⟨10.1007/978-3-030-67067-2_23⟩. ⟨hal-03531893⟩
21
View
0
Download