TY - BOOK ID - 5453605 TI - Theory and Applications of Satisfiability Testing – SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings AU - Kleine Büning, Hans AU - Zhao, Xishun AU - SAT 2008 PY - 2008 SN - 9783540797180 3540797181 354079719X PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Propositional calculus KW - Decision making KW - Computer algorithms KW - Algebra, Boolean KW - Calcul propositionnel KW - Prise de décision KW - Algorithmes KW - Algèbre de Boole KW - Congresses. KW - Congrès KW - Mathematical Theory KW - Mathematics KW - Physical Sciences & Mathematics KW - 681.3*F41 <63> KW - 681.3*I23 <063> KW - 681.3*I28 <063> KW - 681.3*F22 <063> KW - 681.3*G16 <063> KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23}--Congressen KW - Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen KW - Problem solving, control methods and search: backtracking; dynamic program- ming; graph and tree search strategies; heuristics; plan execution, formationand generation (Artificial intelligence)--Congressen--See also {681.3*F22} KW - Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3}--Congressen KW - Optimization: constrained optimization; gradient methods; integer programming; least squares methods; linear programming; nonlinear programming (Numericalanalysis) KW - Congressen KW - 681.3*I23 <063> Deduction and theorem proving: answer/reason extraction; reasoning; resolution; metatheory; mathematical induction; logic programming (Artificial intelligence)--Congressen KW - Boolean algebra KW - Boole's algebra KW - Calculus, Propositional KW - Computer science. KW - Operating systems (Computers). KW - Algorithms. KW - Mathematical logic. KW - Numerical analysis. KW - Artificial intelligence. KW - Computer Science. KW - Mathematical Logic and Formal Languages. KW - Algorithm Analysis and Problem Complexity. KW - Operating Systems. KW - Numeric Computing. KW - Artificial Intelligence (incl. Robotics). KW - Mathematical Logic and Foundations. KW - Logic, Symbolic and mathematical KW - Algebraic logic KW - Set theory KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Mathematical analysis KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Algebra, Abstract KW - Metamathematics KW - Syllogism KW - Algorism KW - Algebra KW - Arithmetic KW - Computer operating systems KW - Computers KW - Disk operating systems KW - Systems software KW - Informatics KW - Science KW - Foundations KW - Operating systems KW - Computer software. KW - Electronic data processing. KW - Logic, Symbolic and mathematical. KW - Artificial Intelligence. KW - ADP (Data processing) KW - Automatic data processing KW - Data processing KW - EDP (Data processing) KW - IDP (Data processing) KW - Integrated data processing KW - Office practice KW - Software, Computer KW - Computer systems KW - Automation KW - Propositional calculus. KW - Machine theory. KW - Formal Languages and Automata Theory. KW - Numerical Analysis. KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Recursive functions KW - Robotics UR - https://www.unicat.be/uniCat?func=search&query=sysid:5453605 AB - This book constitutes the refereed proceedings of the 11th International Conference on Theory and Applications of Satisfiability Testing, SAT 2008, held in Guangzhou, P. R. China, in May 2008. The 17 revised full papers presented together with 8 revised short papers and 2 invited talks were carefully selected from 70 submissions. All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including but not limited to proof systems, proof complexity, search algorithms, heuristics, analysis of algorithms, hard instances, randomized formulae, problem encodings, industrial applications, solvers, simplifiers, tools, case studies and empirical results. ER -