Optimization methods for logical inference /
Vijay Chandru, John Hooker
- New York : John Wiley, c1999
- xi, 365 p. ; 24 cm.
- Wiley-Interscience series in discrete mathematics and optimization .
"A Wiley-Interscience publication"
Includes bibliographical references and index
0471570354 : USD 74.95
Combinatorial optimization Logic, Symbolic and mathematical