The Art of Computer Programming, Volume 4, Fascicle 7: 発売中

The Art of Computer Programming, Volume 4, Fascicle 7:
Constraint Satisfaction

●著者：Knuth, Donald
●出版社： Pearson Education (Prentice Hall USA)
●ISBN： 978-0-13-532824-8
●刊行：2025/02
●paper/308P
●情報科学基礎

『The Art of Computer Programming』は、アルゴリズム分析に関する多巻構成の著作であり、古典的コンピュータサイエンスの決定版として長年認められてきました。5巻まで

刊行されています。、既存の巻の一部を更新するために、「ファシクル」と呼ばれる小冊子シリーズを作成し、定期的に出版しています。その最新巻がこの巻です。

Volume 4, Fascicle 7, which is brimming with lively examples, forms the first third of what will eventually become hardcover Volume 4C. It introduces and explores an important general framework for modeling and solving combinatorial problems, called the Constraint Satisfaction Problem (CSP). The concluding sections of Volume 4B contain expositions of two analogous frameworks, namely XCC ("exact covering with colors") and SAT ("Boolean satisfiability"); the XCC solvers and SAT solvers are now joined by CSP solvers, completing a powerful trio of techniques. Each member of the trio has its own strengths, while separately helping to understand the other two.

特価の設定はございません。
大学生協洋書オンラインストア上でログイン前に表示されている価格はデフォルトの価格で
実際の店舗での販売価格と異なる場合がございます。組合員価格はログインしてご確認いただくか、大学生協各店舗へお問い合わせください。

ご注文はこちらから↓

https://yosho.univcoop.jp/BookShop/Book/Detail?icd=1038351857&isbn=978-0-13-532824-8


PAGE TOP