SUN : a Multistrategy Platform for SAT - Archive ouverte HAL Access content directly
Conference Papers Year : 1996

SUN : a Multistrategy Platform for SAT

Bertrand Mazure
Centre de Recherche en Informatique de Lens
Lakhdar Saïs
Centre de Recherche en Informatique de Lens
Éric Grégoire
Centre de Recherche en Informatique de Lens

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-03300533

Submitted on : Tuesday, July 27, 2021-10:37:36 AM

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

Not file

Dates and versions

hal-03300533 , version 1 (27-07-2021)

Identifiers

  • HAL Id : hal-03300533 , version 1

Cite

Bertrand Mazure, Lakhdar Saïs, Éric Grégoire. SUN : a Multistrategy Platform for SAT. Proc. First Int. Competition and Symposium on Satisfiability Testing, 1996, Beijing, Unknown Region. ⟨hal-03300533⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS CNRS CRIL
6 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More