SAT2000 : highlights of satisfiability research in the year 2000
著者
書誌事項
SAT2000 : highlights of satisfiability research in the year 2000
(Frontiers in artificial intelligence and applications, v. 63)
IOS Press , Ohmsha [distributor], 2000
- : IOS Press
- : Ohmsha
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
The book is devoted to various disciplines in satisfiability research and aims to give the reader an impression of the state of the art of this research in the year 2000. It consists of a compilation of articles on this subject which have appeared, or will appear in the periodicals. The disciplines covered fall (not entirely neatly) into four categories: complete methods, stochastic methods, applications and extensions beyond propositional SAT.
「Nielsen BookData」 より