Logic-based methods for optimization : combining optimization and constraint satisfaction / / John Hooker |
Autore | Hooker John <1949-> |
Pubbl/distr/stampa | New York, New York : , : John Wiley & Sons, Inc., , 2000 |
Descrizione fisica | 1 online resource (520 p.) |
Disciplina |
519.3
519.72 |
Collana | Wiley-Interscience Series in Discrete Mathematics and Optimization |
Soggetto topico |
Linear programming
Mathematical optimization Logic, Symbolic and mathematical |
ISBN |
1-283-28261-5
9786613282613 1-118-03128-8 1-118-03303-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction; Preface; Contents; 1 Introduction; 1.1 Logic and Optimization; 1.1.1 Optimization and Constraint Satisfaction; 1.1.2 Constraint Programming; 1.1.3 Development of Logic-Based Methods; 1.1.4 Recent Applications and Software; 1.2 Organization of the Book; 1.2.1 How Much to Read; 1.2.2 Background Material; 1.2.3 A Practical Logic-Based System; 1.2.4 A Deeper Analysis; 2 Some Examples; 2.1 Logic-Based Modeling; 2.1.1 The Traveling Salesman Problem; 2.1.2 The Assignment Problem
2.1.3 The Quadratic Assignment Problem2.1.4 A Job Shop Scheduling Problem; 2.2 A Knapsack Problem; 2.2.1 An Integer Programming Model; 2.2.2 An Integer Programming Solution; 2.2.3 A Logic-Based Solution; 2.3 Processing Network Design; 2.3.1 An Integer Programming Approach; 2.3.2 A Logic-Based Approach; 2.4 Lot Sizing; 2.4.1 An Integer Programming Model; 2.4.2 A Logic-Based Model; 3 The Logic of Propositions; 3.1 The Idea of Propositional Logic; 3.1.1 Formulas; 3.1.2 Clauses; 3.1.3 Conversion to Clausal Form; 3.1.4 Horn Clauses; 3.1.5 Renamable Horn Clauses; 3.2 Resolution 3.2.1 The Resolution Algorithm3.2.2 Projection; 3.2.3 Unit Resolution; 3.2.4 Constraint-Based Search; 4 The Logic of Discrete Variables; 4.1 Formulas of Discrete-Variable Logic; 4.1.1 Formulas and Semantics; 4.1.2 Multivalent Clauses; 4.2 Multivalent Resolution; 4.2.1 Full Resolution; 4.2.2 Projection; 4-2.3 Unit Resolution; 4.2.4 Constraint Generation; 4.3 Defined Predicates; 5 The Logic of 0-1 Inequalities; 5.1 Inequalities and Implication; 5.2 Resolution for 0-1 Inequalities; 5.2.1 The Algorithm; 5.2.2 Completeness of 0-1 Resolution; 5.2.3 Resolution and Cutting Planes 5.3 Equivalent Inequalities5.3.1 Characterizing an Equivalence Class; 5.3.2 A Polar Approach to Checking Equivalence; 5.3.3 Polar Characterization of Equivalence Classes; 5.3.4 Canonical Inequalities; 6 Cardinality Clauses; 6.1 Resolution for Cardinality Clauses; 6.1.1 The Classical Resolution Step; 6.1.2 The Diagonal Summation Step; 6.2 Generating Cardinality Clauses; 6.2.1 Implied Cardinality Clauses; 6.2.2 Generating Nonredundant Implications; 6.2.3 Implied Contiguous Clauses; 7 Classical Boolean Methods; 7.1 Pseudoboolean Optimization; 7.1.1 The Basic Method 7.1.2 The Basic Algorithm Revisited7.2 Roof Duality; 7.2.1 Roofs; 7.2.2 The Roof Dual; 7.3 Implied Constraints; 7.3.1 Implications of a Linear 0-1 Inequality; 7.3.2 Implications of a Nonlinear 0-1 Inequality; 7.4 Matching Problems; 8 Logic-Based Modeling; 8.1 A Modeling Framework; 8.1.1 The Basic Framework; 8.1.2 A Growing Lexicon of Global Constraints; 8.1.3 Element Constraints and Variable Subscripts; 8.1.4 Sum Constraints and Variable Index Sets; 8.1.5 Integer and Mixed Integer Modeling; 8.1.6 The Objective Function; 8.2 Some Modeling Examples Revisited 8.2.1 Traveling Salesman, Assignment, and Job Shop Problems |
Record Nr. | UNINA-9910830712103321 |
Hooker John <1949->
![]() |
||
New York, New York : , : John Wiley & Sons, Inc., , 2000 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Management models and industrial applications of linear programming / A. Charnes, W. W. Cooper |
Autore | Charnes, Abraham |
Pubbl/distr/stampa | New York ; London : John Wiley & Sons, 1961 |
Descrizione fisica | 2 v. ; 24 cm |
Disciplina | 519.72 |
Altri autori (Persone) | Cooper, William Wager |
Soggetto non controllato |
Ricerca operativa
Programmazione lineare - Applicazioni industriali |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001170620403321 |
Charnes, Abraham
![]() |
||
New York ; London : John Wiley & Sons, 1961 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Mass transportation problems / Svetlozar T. Rachev, Ludger Rüschendorf |
Autore | RACHEV, Svetlozar T. |
Pubbl/distr/stampa | New York : Springer-Verlag, c1998 |
Descrizione fisica | 2 v ; 24 cm |
Disciplina | 519.72 |
Altri autori (Persone) | RÜSCHENDORF, Ludger |
Collana | Probability and its applications |
Soggetto topico |
Problema al trasporto |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000873320203316 |
RACHEV, Svetlozar T.
![]() |
||
New York : Springer-Verlag, c1998 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mass transportation problems / Svetlozar T. Rachev, Ludger Ruschendorf |
Autore | Rachev, Svetlozar Todorov |
Pubbl/distr/stampa | New York : Springer-Verlag, c1998 |
Descrizione fisica | 2 v. : ill. ; 25 cm. |
Disciplina | 519.72 |
Altri autori (Persone) | Ruschendorf, Ludgerauthor |
Collana | Probability and its applications |
Soggetto topico | Transportation problems (Programming) |
ISBN |
038798352X (v. 2)
0387983503 (v. 1) |
Classificazione |
AMS 60B
AMS 60B11 AMS 60E99 AMS 60K30 AMS 90C QA402.6.R33 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001103629707536 |
Rachev, Svetlozar Todorov
![]() |
||
New York : Springer-Verlag, c1998 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Matematica discreta : principi matematici per l'informatica / Ronald L. Graham, Donald E. Knuth, Oren Patashnik |
Autore | Graham, Ronald L. |
Pubbl/distr/stampa | Milano : Ulrico Hoepli ed., 1992 |
Descrizione fisica | 605 p. : ill. ; 25 cm |
Disciplina | 519.72 |
Altri autori (Persone) |
Knuth, Donald Ervin
Patashnik, Oren |
Soggetto topico |
Mathematics
Electronic data processing - Mathematics |
ISBN | 8820319217 |
Classificazione |
AMS 11-01
AMS 68-01 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991003170739707536 |
Graham, Ronald L.
![]() |
||
Milano : Ulrico Hoepli ed., 1992 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Mathematical developments arising from linear programming : proceedings of a joint summer research conference held at Bowdoin College, June 25-Jul 1, 1988 / Jeffrey C. Lagarias and Michael J. Todd, editors |
Autore | AMS-IMS-SIAM Joint Summer research conference on mathematical developments arising from linear programming <1988 ; Bowdoin College> |
Pubbl/distr/stampa | Providence, R.I. : American Mathematical Society, c1990 |
Descrizione fisica | xiv, 341 p. ; 26 cm |
Disciplina | 519.72 |
Altri autori (Persone) |
Lagarias, Jeffrey C.
Todd, Michael J. |
Collana | Contemporary mathematics, 0271-4132 ; 114 |
Soggetto topico |
Linear programming - Congresses
Mathematical programming - Congresses |
ISBN | 0821851217 |
Classificazione |
AMS 90-06
LC QA402.5.A454 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001110389707536 |
AMS-IMS-SIAM Joint Summer research conference on mathematical developments arising from linear programming <1988 ; Bowdoin College>
![]() |
||
Providence, R.I. : American Mathematical Society, c1990 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Mathematical introduction to linear programming and game theory / Louis Brickman |
Autore | Brickman, Louis |
Pubbl/distr/stampa | New York [etc.] : Springer, c1989 |
Descrizione fisica | IX, 130 p. ; 25 cm. |
Disciplina | 519.72 |
Collana | Undergraduate texts in mathematics |
Soggetto topico |
Programmazione lineare
Teoria dei giochi |
ISBN | 0-387-96931-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNIBAS-000015131 |
Brickman, Louis
![]() |
||
New York [etc.] : Springer, c1989 | ||
![]() | ||
Lo trovi qui: Univ. della Basilicata | ||
|
Mathematical introduction to linear programming and game theory / Luois Brickman |
Autore | BRICKMAN, Luois |
Pubbl/distr/stampa | New York [etc.] : Springer, copyr.1989 |
Descrizione fisica | IX, 130 p. ; 24 cm |
Disciplina | 519.72 |
Collana | Undergraduate Texts in Mathematics |
Soggetto topico |
Programmazione lineare
Teoria dei giochi |
ISBN | 0-387-96931-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000345020203316 |
BRICKMAN, Luois
![]() |
||
New York [etc.] : Springer, copyr.1989 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Mathematical introduction to linear programming and game theory / Louis Brickman |
Autore | Brickman, Louis |
Pubbl/distr/stampa | New York : Springer-Verlag, 1989 |
Descrizione fisica | ix, 130 p. ; 24 cm. |
Disciplina | 519.72 |
Collana | Undergraduate texts in mathematics, ISSN 01726056 |
Soggetto topico |
Game theory
Linear programming |
ISBN | 0387969314 |
Classificazione | AMS 90D |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISALENTO-991001111949707536 |
Brickman, Louis
![]() |
||
New York : Springer-Verlag, 1989 | ||
![]() | ||
Lo trovi qui: Univ. del Salento | ||
|
Matrix methods in finite mathematics : An introduction with applications to business and industry / Steven C. Althoen, Robert J. Bumcrot |
Autore | ALTHOEN, Steven C. |
Pubbl/distr/stampa | New York : W. W. Norton & Company, copyr. 1976 |
Descrizione fisica | XII, 451 p. : graf. ; 23 cm |
Disciplina | 519.72 |
Altri autori (Persone) | BUMCROT, Robert J. |
Soggetto topico | Programmazione lineare |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990003262570203316 |
ALTHOEN, Steven C.
![]() |
||
New York : W. W. Norton & Company, copyr. 1976 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|