DIMACS

DIMACS Workshop on Faster Exact Solutions for NP-Hard Problems