Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings - Biere, Armin; Gomes, Carla P.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2006)
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