A pioneering look at the fundamental role of logic in optimization and constraint satisfaction
While recent efforts to combine optimization and constraint satisfaction have received considerable attention, little has been said about using logic in optimization as the key to unifying the two fields. Logic-Based Methods for Optimization develops for the first time a comprehensive conceptual framework for integrating optimization and constraint satisfaction, then goes a step further...
สารบัญ
Some Examples.
The Logic of Propositions.
The Logic of Discrete Variables.
The Logic of 0-1 Inequalities.
Cardinality Clauses.
Classical Boolean Methods.
Logic-Based Mo...
เกี่ยวกับผู้แต่ง
JOHN HOOKER, Ph D, is Professor of Operations Research and T. Jerome Holleran Professor of Business Ethics and Social Responsibility at the Graduate School of Indus...
หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ
49,738 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้
