Cliques, coloring, and satisfiability -- : DIMACS implementation challenge : Workshop : 2nd : Oct 1993, New Brunswick, NJ.
(DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 26)
国立国会図書館請求記号
M17-01-1625
国立国会図書館書誌ID
000003450394
資料種別
図書
著者
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Bell Labs, Bellcore."