%0 Conference Proceedings %T The essentials of the SAT 2003 competition %+ Centre de Recherche en Informatique de Lens (CRIL) %A Le Berre, Daniel %A Simon, Laurent %< avec comité de lecture %B Proceedings of the Sixth International Conference on Theory and Applications of satisfiability Testing (SAT 2003) %C Portofino, Italy %P 452-467 %8 2003 %D 2003 %Z Computer Science [cs]/Artificial Intelligence [cs.AI]Conference papers %G English %L hal-03300806 %U https://univ-artois.hal.science/hal-03300806 %~ UNIV-ARTOIS %~ CNRS %~ CRIL