Optimization methods for logical inference - Chandru Vijay; Hooker John (New York John Wiley, 1999)
Keywords: Combinatorial optimization; Mathematical logic; Symboloc logic