Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996

Du, Dingzhu, Gu, Jun, Pardalos, P. M. (Panos M.), NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science

Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996

Web Site CiNii 所蔵館 19館

書誌事項

タイトル: "Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996"

責任表示: Dingzhu Du, Jun Gu, Panos M. Pardalos, editors

出版者

American Mathematical Society

出版年月

1997

書籍サイズ: 26 cm

この図書・雑誌をさがす

注記

"NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science. A consortium of Rutgers University, Princeton University, AT&T Labs, Bell Labs, and Bellcore."

Includes bibliographical references

Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報詳細情報について

書き出し

Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996

書誌事項

この図書・雑誌をさがす

注記

関連図書・雑誌

詳細情報 詳細情報について

書き出し

詳細情報詳細情報について