Optimization methods for logical inference - Chandru, Vijay, 1953-; Hooker, John, 1949- (New York : John Wiley, 1999)
"A Wiley-Interscience publication"
Includes bibliographical references and index
Keywords: Combinatorial optimization; Logic, Symbolic and mathematical