Two techniques to improve Finite Model Search.

Gilles Audemard; Belaid Benhamou; Laurent Henocque

Conference Papers Year : 2000

Two techniques to improve Finite Model Search.

(1) , ,

1

Gilles Audemard

Function : Author
PersonId : 850088
IdHAL : gilles-audemard
ORCID : 0000-0003-2604-9657
IdRef : 070686831

Centre de Recherche en Informatique de Lens

Belaid Benhamou

Function : Author

Laurent Henocque

Function : Author

Domains

Computer Science [cs] Artificial Intelligence [cs.AI]

Fabien DELORME : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03299492

Submitted on : Monday, July 26, 2021-2:49:10 PM

Last modification on : Friday, March 24, 2023-2:53:22 PM

Dates and versions

hal-03299492 , version 1 (26-07-2021)

Identifiers

HAL Id : hal-03299492 , version 1

Cite

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⟩

Two techniques to improve Finite Model Search.

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share