The essentials of the SAT 2003 competition - Université d'Artois Access content directly
Conference Papers Year : 2003

The essentials of the SAT 2003 competition

Laurent Simon
  • Function : Author
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-03300806 , version 1

Cite

Daniel Le Berre, Laurent Simon. The essentials of the SAT 2003 competition. Proceedings of the Sixth International Conference on Theory and Applications of satisfiability Testing (SAT 2003), 2003, Portofino, Italy. pp.452-467. ⟨hal-03300806⟩
15 View
0 Download

Share

Gmail Facebook X LinkedIn More