The Essentials of the SAT 2003 Competition-Reference-Cited by-同舟云学术

The Essentials of the SAT 2003 Competition

Published:2004 Issue: Volume: Page:452-467
ISSN:0302-9743
Container-title:Theory and Applications of Satisfiability Testing
language:
Short-container-title:

Author:

Le Berre Daniel,Simon Laurent

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24605-3_34

Reference22 articles.

1. Sixth International Conference on Theory and Applications of Satisfiability Testing, S. Margherita Ligure - Portofino ( Italy) (May 2003)

2. Alexander, N.: Backtrack search algorithms for propositional satisfiability: Review and innovations. Master’s thesis, Hebrew University of Jerusalem (November 2002)

3. Audemard, G., Le Berre, D., Roussel, O., Lynce, I., Marques Silva, J.P.: Open- SAT: An Open Source SAT Software Project. In: Proc. of SAT 2003 [1] (2003)

4. Dequen, G., Dubois, O.: Renormalization as a function of clause lengths for solving random k-sat formulae. In: Proceedings of Fifth International Symposium on Theory and Applications of Satisfiability Testing, pp. 130–132 (2002)

5. Dubois, O., Dequen, G.: A backbone-search heuristic for efficient solving of hard 3-sat formulae. In: Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001), Seattle, Washington, USA, August 4-10 (2001)

Cited by 32 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline;Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining;2023-08-04

2. Sparkle: Toward Accessible Meta-Algorithmics for Improving the State of the Art in Solving Challenging Problems;IEEE Transactions on Evolutionary Computation;2022-12

3. TOOLympics I: Competition on software testing;International Journal on Software Tools for Technology Transfer;2021-05-06

4. TOOLympics 2019: An Overview of Competitions in Formal Methods;Tools and Algorithms for the Construction and Analysis of Systems;2019

5. Extreme Cases in SAT Problems;Theory and Applications of Satisfiability Testing – SAT 2016;2016