OpenSAT: an open source SAT software project - Archive ouverte HAL Access content directly
Conference Papers Year : 2003

OpenSAT: an open source SAT software project

(1) , (1) , (1) , ,
1
Gilles Audemard
Centre de Recherche en Informatique de Lens
Daniel Le Berre
Centre de Recherche en Informatique de Lens
CV
Olivier Roussel
Centre de Recherche en Informatique de Lens
CV
Ines Lynce
  • Function : Author
Joao Marques-Silva
  • 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-03299485

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

Last modification on : Wednesday, October 20, 2021-9:58:20 AM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-03299485 , version 1

Cite

Gilles Audemard, Daniel Le Berre, Olivier Roussel, Ines Lynce, Joao Marques-Silva. OpenSAT: an open source SAT software project. Sixth International Conference on Theory and Applications of Satisfiability Testing (SAT2003), 2003, Portofino, Italy. ⟨hal-03299485⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS CNRS CRIL
12 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More