Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers - Hoos, Holger H.; Mitchell, David G.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Operating systems (Computers).; Computer software; Electronic data processing; Artificial intelligence; Logic, Symbolic and mathematical; Computer Science; Mathematical Logic and Formal Languages; Algorithm Analysis and Problem Complexity; Operating Systems; Numeric Computing; Artificial Intelligence (incl. Robotics).; Mathematical Logic and Foundations