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

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

価格
¥ 8.871
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月4日 - 年8月14日
Justyna Petke の新しいリリースのお知らせを受け取る

お客様の声：

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, 19 black & white illustrations, 13 black & white tables, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2015年8月19日
ISBN13 9783319218090
出版社 Springer International Publishing AG
ページ数 113
寸法 155 × 235 × 10 mm   ·   358 g
言語 フランス語  

同じ出版社からのその他の記事

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