Satisfiability Problem: Theory and Applications (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)

by: Jun Gu · Panos M. Pardalos Hardcover details (USA). ISBN: 978-0-8218-0479-7 ISBN-10: 0-8218-0479-0 Amer Mathematical Society · 1997