Skip to Main content Skip to Navigation
Conference papers

Two techniques to improve Finite Model Search.

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

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⟩

Share

Metrics

Record views

10