Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms - Justyna Petke - 書籍 - Springer International Publishing AG - 9783319373645 - 2016年10月22日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Justyna Petke
Bridging Constraint Satisfaction and Boolean Satisfiability - Artificial Intelligence: Foundations, Theory, and Algorithms Softcover reprint of the original 1st ed. 2015 edition

価格
¥ 10.537
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月2日 - 年7月20日

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

他の形態でも入手可能：

This book provides a significant step towards bridging the areas of Boolean satisfiability and constraint satisfaction by answering the question why SAT-solvers are efficient on certain classes of CSP instances which are hard to solve for standard constraint solvers.

113 pages, 13 Tables, black and white; 19 Illustrations, black and white; XI, 113 p. 19 illus.

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2016年10月22日
ISBN13 9783319373645
出版社 Springer International Publishing AG
ページ数 113
寸法 150 × 220 × 10 mm   ·   190 g

Mere med samme udgiver

Justyna Petkeのすべてを見る ( 例： Paperback Book および Hardcover Book )