Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications
by
A. Biere
Hardcover
details (
United States
).
ISBN: 978-1-58603-929-5
ISBN-10: 1-58603-929-6
IOS Press
· 2009
