. . "Logic, Symbolic and mathematical." . . "Mathematics." . . "Optimització combinatorial." . . "inference logique." . . "Chandru, Vijay" . . "Mathematische Logik Optimierung." . . "MATHEMATICS Game Theory." . . . "Merging logic and mathematics in deductive inference-an innovative, cutting-edge approach.Optimization methods for logical inference? Absolutely, say Vijay Chandru and John Hooker, two major contributors to this rapidly expanding field. And even though \"\"solving logical inference problems with optimization methods may seem a bit like eating sauerkraut with chopsticks. . . it is the mathematical structure of a problem that determines whether an optimization model can help solve it, not the context in which the problem occurs.\"\"Presenting powerful, proven optimization techniques for logic infere." . . . . . "Optimization for logical inference" . "Electronic resource" . . . . . . . . . . . . . . . . . . . . . "Optimization methods for logical inference"@en . "Optimization methods for logical inference" . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Optimization Methods for Logical Inference" . . . . . "Electronic books" . "Electronic books"@en . . "Kombinatorisk optimering" . . "Inteligência artificial." . . "Programação matemática (aplicações)" . . "Combinatorial optimization." . . "Lógica matemática." . . "Lògica matemàtica." . "Prova automática de teoremas." . . "Optimierung Mathematische Logik." . . "Programowanie matematyczne." . . "Optimisation combinatoire." . . "Mathematische Logik Inferenz (Math.)" . . "Mathematische Logik." . . "Wnioskowanie." . . "Logique symbolique et mathématique." . . "Optymalizacja matematyczna." . . "logique." . . "Optimalizálás kombinatorikus." . . "Kombinatorische Optimierung." . . "Inferenz (Math.) Mathematische Logik." . . "methode optimisation." . . "Optimierung." . . "Matematisk logik" . . "Logischer Schluss." . .