SAT 2005 Satisfiability Research in the Year 2005 - Giunchiglia, Enrico; Walsh, Toby.; SpringerLink (Online service) (Dordrecht : Springer Netherlands, 2006)
Keywords: Computer science; Information theory; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Theory of Computation