Ask HN: Optimization Methods for Logical Inference

I asked over at OR-Exchange ( http://www.or-exchange.com/questions/433/optimization-methods-for-logical-inference ) and I am asking here, if anybody knows: I was browsing through our library today and stepped on "Optimization Methods for Logical Inference". Since there are no reader reviews at Amazon, maybe someone here has read it and can express an opinion?