TY - BOOK ID - 5451094 TI - Theory and Applications of Satisfiability Testing - SAT 2006 : 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings AU - Biere, Armin. AU - Gomes, Carla P. AU - SAT 2006 PY - 2006 VL - 4121 SN - 03029743 SN - 9783540372066 3540372067 3540372075 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 - 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 - 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 - Set theory 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 - Algebraic logic KW - Logic, Symbolic and mathematical 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 - Satisfiability testing KW - Propositional calculus - Congresses. KW - Decision making - Congresses. KW - Computer algorithms - Congresses. KW - Algebra, Boolean - Congresses. 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:5451094 AB - ER -