Deciding the Bernays-Schoenfinkel Fragment over Bounded Difference Constraints by Simple Clause Learning over Theories - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2021

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

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
papernolncs.pdf (405.61 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Christoph Weidenbach  : Connectez-vous pour contacter le contributeur

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

Soumis le : jeudi 7 décembre 2023-14:53:49

Dernière modification le : lundi 2 décembre 2024-17:46:02

Télécharger pour visualiser

Dates et versions

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

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM
46 Consultations
41 Téléchargements

Altmetric

Partager

More