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

著者

    • 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

Dingzhu Du, Jun Gu, Panos M. Pardalos, editors

（DIMACS series in discrete mathematics and theoretical computer science, v. 35）

American Mathematical Society, 1997

大学図書館所蔵 件 / 全19件

この図書・雑誌をさがす

注記

"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

関連文献： 1件中  1-1を表示

詳細情報

ページトップへ