Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993
著者
書誌事項
Cliques, coloring, and satisfiability : second DIMACS implementation challenge, October 11-13, 1993
（DIMACS series in discrete mathematics and theoretical computer science, v. 26）
American Mathematical Society, c1996
大学図書館所蔵 件 / 全20件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science, a consortium of Rutgers University, Princeton University, AT&T Bell Labs, Bellcore."
Includes bibliographical references
