SAT 2005 Satisfiability Research in the Year 2005
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. |