Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications

by A. Biere Hardcover details (USA). ISBN: 978-1-58603-929-5 ISBN-10: 1-58603-929-6 IOS Press · 2009