@inproceedings{leberre:hal-03300806, TITLE = {{The essentials of the SAT 2003 competition}}, AUTHOR = {Le Berre, Daniel and Simon, Laurent}, URL = {https://univ-artois.hal.science/hal-03300806}, BOOKTITLE = {{Proceedings of the Sixth International Conference on Theory and Applications of satisfiability Testing (SAT 2003)}}, ADDRESS = {Portofino, Italy}, PAGES = {452-467}, YEAR = {2003}, HAL_ID = {hal-03300806}, HAL_VERSION = {v1}, }