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

＜図書＞
Satisfiability problem : theory and applications : DIMACS workshop, March 11-13, 1996

責任表示	Dingzhu Du, Jun Gu, Panos M. Pardalos, editors
シリーズ	DIMACS series in discrete mathematics and theoretical computer science ; v. 35
データ種別	図書
出版情報	Providence, R.I. : American Mathematical Society , 1997
本文言語	英語
大きさ	xv, 724 p. ; 26 cm
概要	The 23 papers wrangle with a core of computationally intractable NP- complete problems, the solution to which is fundamental to automated reasoning, computer-aided design and manufacturing, machine vi...ion, databases, robotics, scheduling, designing integrated circuits and computer architecture, and computer networking. Blending theory, algorithms, and applications, they discuss such topics as backtracking and probing, the relative size of certain polynomial time solvable subclasses of satisfiability, propositional search efficiency and first-order theorem proving, a discreet Lagrangian global-search method, a general stochastic approach to solving problems with hard and soft constraints, a better upper bound for the unsatisfiability threshold, and the local search for channel assignment in cellular mobile networks. Member prices are $119 for institutions and $89 for individuals. No index. Annotation copyrighted by Book News, Inc., Portland, OR続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		芸工図 2F 書架	410.96/D76	1997		072032197005727		予約・取寄			予約・取寄

一般注記	"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
著者標目	Du, Dingzhu Gu, Jun, 1956- Pardalos, P. M. (Panos M.), 1954- NSF Science and Technology Center in Discrete Mathematics and Theoretical Computer Science
件　名	LCSH:Propositional calculus -- Congresses 全ての件名で検索 LCSH:Decision-making -- Congresses 全ての件名で検索 LCSH:Computer algorithms -- Congresses 全ての件名で検索 LCSH:Computer science -- Congresses 全ての件名で検索
分　類	LCC:QA9.3 DC21:511.3
書誌ID	1001000655
ISBN	0821804790
NCID	BA33933418
巻冊次	ISBN:0821804790
登録日	2009.09.16
更新日	2009.09.16