SAT 2005 [electronic resource] : Satisfiability Research in the Year 2005 / edited by Enrico Giunchiglia, Toby Walsh.
Record details
- ISBN: 9781402055713
- Physical Description: V, 293 p. online resource.
- Publisher: Dordrecht : Springer Netherlands, 2006.
Search for related items by subject
Subject: | Computer science. Information theory. Artificial intelligence. Computer Science. Artificial Intelligence (incl. Robotics). Theory of Computation. |