Communication Dans Un Congrès Année : 2021

Dates et versions

hal-03531893 , version 1 (07-12-2023)

Licence

Identifiants

Citer

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⟩
187 Consultations
234 Téléchargements

Altmetric

Partager

  • More