List of Papers That Use SAT Benchmarks of Model RB


If you know any other paper that should be listed here, please send me an email.

  1. Ekaterina A. Smorodkina and Daniel R. Tauritz. Toward Automating EA Configuration: the Parent Selection Stage. In Proceedings of IEEE Congress on Evolutionary Computation (CEC),  pp. 63-70, 2007.

  2. Vijay Durairaj and Priyank Kalla. Guiding CNF-SAT Search by Analyzing Constraint-Variable Dependencies and Clause Lengths. To appear in High-Level Design Validation and Test Workshop (HLDVT), 2006.

  3. Domagoj Babic, Jesse D. Bingham, and Alan J. Hu. B-Cubing Theory: New Possibilities for Efficient SAT-Solving. 10th IEEE International High-Level Design Validation and Test Workshop (HLDVT), 2005, pp. 192-199.

  4. Domagoj Babic, Jesse D. Bingham, and Alan J. Hu. Efficient SAT Solving: Beyond Supercubes. 42nd ACM/IEEE Design Automation Conference (DAC), 2005, pp. 744-749.

  5. M. Lewis, T. Schubert, and B. Becker. Analysis of Speedup Techniques Utilized in Modern SAT Solvers. In 8th International Conference on Theory and Applications of Satisfiability Testing (SAT 2005), 2005.

  6. Jinji Yang and Kaile Su. Improvement of Local Search in SAT Problem (in Chinese). Journal of Computer Research and Development, 42(1):60-65, 2005.

Back to Page of SAT Benchmarks

Back to Ke Xu's Homepage.