SAT 2005: Satisfiability Research in the Year 2005
by
ISBN 13: 9781402045523
Format: Hardcover (300 pages) Publisher: Springer Published: 30 Oct 2006
Save for later