Drexel dragonThe Math Forum

The Math Forum Internet Mathematics Library

Ke Xu's Benchmarks for Hard Problems

Library Home || Full Table of Contents || Library Help

Visit this site: http://www.nlsde.buaa.edu.cn/~kexu/benchmarks/benchmarks.htm

Author:Ke Xu
Description: All benchmarks are generated based on exact phase transitions of Model RB, including forced satisfiable benchmarks of SAT/CSP and benchmarks with hidden optimum solutions for 0-1 Programming and graph problems (Independent Set, Vertex Cover, Clique and Vertex Coloring).

Levels: Research
Languages: English
Resource Types: Net-Based Resources
Math Topics: Discrete Math, Optimization, Computer Science

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- The Math Forum at NCTM. All rights reserved.