Chandru, Vijay, 1953-

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

519.3