Download or read book Cliques, Coloring, and Satisfiability written by David S. Johnson and published by American Mathematical Soc.. This book was released on 1996-01-01 with total page 674 pages. Available in PDF, EPUB and Kindle. Book excerpt: The purpose of a DIMACS Challenge is to encourage and coordinate research in the experimental analysis of algorithms. The First DIMACS Challenge encouraged experimental work in the area of network flow and matchings. This Second DIMACS Challenge, on which this volume is based, took place in conjunction with the DIMACS Special Year on Combinatorial Optimization. Addressed here are three difficult combinatorial optimization problems: finding cliques in a graph, colouring the vertices of a graph, and solving instances of the satisfiability problem. These problems were chosen both for their practical interest and because of their theoretical intractability.