Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Logic-based methods for optimization : combining optimization and constraint satisfaction / / John Hooker
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Management models and industrial applications of linear programming / A. Charnes, W. W. Cooper
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Mass transportation problems / Svetlozar T. Rachev, Ludger Rüschendorf
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mass transportation problems / Svetlozar T. Rachev, Ludger Ruschendorf
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Matematica discreta : principi matematici per l'informatica / Ronald L. Graham, Donald E. Knuth, Oren Patashnik
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Mathematical introduction to linear programming and game theory / Louis Brickman
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
Mathematical introduction to linear programming and game theory / Luois Brickman
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical introduction to linear programming and game theory / Louis Brickman
| 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 | ||
| Materiale a stampa | ||
| 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
| 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 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
