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

Web Site CiNii Available at 19 libraries

Bibliographic Information

Title
"Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996"
Statement of Responsibility
Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
Publisher
  • American Mathematical Society
Publication Year
  • 1997
Book size
26 cm

Search this Book/Journal

Notes

"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

Related Books

See more

Details 詳細情報について

Back to top