Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Ke Xu's Benchmarks for Hard Problems

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || 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-2013 Drexel University. All rights reserved.
http://mathforum.org/
 The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.