SAT 2005 Satisfiability Research in the Year 2005

• Main Author: Giunchiglia, Enrico
• Other Authors: Walsh, Toby
• Format: Electronic Kit Book
• Language: English
• Published: Dordrecht Springer 2006
• Subjects: Information theory; Computer Science; Theory of Computation; Artificial Intelligence (incl. Robotics); Τεχνητή νοημοσύνη