TY - BOOK ID - 5449960 TI - Theory and applications of satisfiability testing : 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers AU - Hoos, Holger H. AU - Mitchell, David G. AU - SAT 2004 PY - 2005 VL - 3542 SN - 03029743 SN - 9783540278290 354027829X 3540315802 PB - Berlin : Springer, DB - UniCat KW - Propositional calculus KW - Algebra, Boolean KW - Computer algorithms KW - Decision making KW - Calcul propositionnel KW - Algèbre de Boole KW - Algorithmes KW - Prise de décision 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 - Propositional calculus - Congresses. KW - Algebra, Boolean - Congresses. KW - Computer algorithms - Congresses. KW - Decision making - 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:5449960 AB - ER -