Skip to Main content Skip to Navigation
Conference papers

Two techniques to improve Finite Model Search.

Gilles Audemard 1 Belaid Benhamou Laurent Henocque
1 CRIL - Centre de Recherche en Informatique de Lens
Document type :
Conference papers
Complete list of metadata
https://hal-univ-artois.archives-ouvertes.fr/hal-03299492
Contributor : Fabien Delorme <>
Submitted on : Monday, July 26, 2021 - 2:49:10 PM
Last modification on : Thursday, September 9, 2021 - 3:10:39 PM

Identifiers

  • HAL Id : hal-03299492, version 1

Collections

UNIV-ARTOIS | CNRS | CRIL

Citation

Gilles Audemard, Belaid Benhamou, Laurent Henocque. Two techniques to improve Finite Model Search.. Proceedings of the 17th International Conference on Automated Deduction (CADE 17), 2000, Pittsburgh, United States. pp.302-308. ⟨hal-03299492⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

10