Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories

Domains

Computer Science [cs]

Christoph Weidenbach  : Connect in order to contact the contributor

https://hal.inria.fr/hal-03531893

Submitted on : Tuesday, January 18, 2022-1:28:04 PM

Last modification on : Wednesday, March 15, 2023-8:54:10 AM

Not file

Dates and versions

hal-03531893 , version 1 (18-01-2022)

Identifiers

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
20 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More