OpenSAT: an open source SAT software project - Université d'Artois Access content directly
Conference Papers Year : 2003

OpenSAT: an open source SAT software project

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

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 : Friday, March 24, 2023-2:53:22 PM

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
16 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More