Handbook of Constraint Programming (Foundations of Artificial Intelligence)
by
ISBN 13: 9780444527264
Format: Hardcover (978 pages) Publisher: Elsevier Science Published: 18 Aug 2006
Save for later
SAT 2005: Satisfiability Research in the Year 2005
ISBN 13: 9781402045523
Format: Hardcover (300 pages) Publisher: Springer Published: 30 Oct 2006