Optimization methods for logical inference /
Chandru, Vijay,1953-
Hooker, John,1944-
New York ; Chichester : Wiley,
c1999.
"A Wiley-Interscience publication.".
Includes bibliographical references and index.
Combinatorial optimization.
Logic, Symbolic and mathematical.