登入選單
返回Google圖書搜尋
Theory and Applications of Satisfiability Testing - SAT 2006
Armin BiereCarla Gomes
其他書名
9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings
出版Springer Science & Business Media, 2006-07-26
主題Computers / Artificial Intelligence / GeneralComputers / Computer ScienceComputers / Information TechnologyComputers / Operating Systems / GeneralComputers / Programming / AlgorithmsEducation / Decision-Making & Problem SolvingMathematics / Discrete MathematicsMathematics / History & PhilosophyMathematics / LogicMathematics / Numerical Analysis
ISBN35403720679783540372066
URLhttp://books.google.com.hk/books?id=wFl3bBwgq_cC&hl=&source=gbs_api
EBookSAMPLE
註釋This book constitutes the refereed proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing, SAT 2006, held in Seattle, WA, USA in August 2006 as part of the 4th Federated Logic Conference, FLoC 2006.The 26 revised full papers presented together with 11 revised short papers presented together with 2 invited talks were carefully selected from 95 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered; the papers are organized in topical sections on proofs and cores, heuristics and algorithms, applications, SMT, structure, MAX-SAT, local search and survey propagation, QBF, as well as counting and concurrency.