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.
Handbook of constraint programming [[electronic resource] /] / edited by Francesca Rossi, Peter van Beek, Toby Walsh
| Handbook of constraint programming [[electronic resource] /] / edited by Francesca Rossi, Peter van Beek, Toby Walsh |
| Autore | Rossi Francesca |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier, 2006 |
| Descrizione fisica | 1 online resource (xi, 955 pages) : illustrations |
| Disciplina | 005.116 |
| Altri autori (Persone) |
RossiFrancesca <1962->
Van BeekPeter WalshToby |
| Collana | Foundations of artificial intelligence |
| Soggetto topico |
Constraint programming (Computer science)
Computer programming |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-280-63604-1
9786610636044 0-08-046380-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Constraint satisfaction: an emerging paradigm -- Chapter 3. Constraint propagation -- Chapter 4. Backtracking search algorithms -- Chapter 5. Local search methods -- Chapter 6. Global constraints -- Chapter 7. Tractable structures for constraint satisfaction problems -- Chapter 8. The complexity of constraint languages -- Chapter 9. Soft constraints -- Chapter 10. Symmetry in constraint programming -- Chapter 11. Modelling -- Chapter 12. Constraint logic programming -- Chapter 13. Constraints in procedural and concurrent languages -- Chapter 14. Finite domain constraint programming systems -- Chapter 15. Operations research methods in constraint programming -- Chapter 16. Continuous and interval constraints -- Chapter 17. Constraints over structured domains -- Chapter 18. Randomness and structure -- Chapter 19. Temporal CSPs -- Chapter 20. Distributed constraint programming -- Chapter 21. Uncertainty and change -- Chapter 22. Constraint-based scheduling and planning -- Chapter 23. Vehicle routing -- Chapter 24. Configuration -- Chapter 25. Constraint applications in networks -- Chapter 26. Bioinformatics and constraints. |
| Record Nr. | UNINA-9910511424003321 |
Rossi Francesca
|
||
| Amsterdam ; ; Boston, : Elsevier, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of constraint programming [[electronic resource] /] / edited by Francesca Rossi, Peter van Beek, Toby Walsh
| Handbook of constraint programming [[electronic resource] /] / edited by Francesca Rossi, Peter van Beek, Toby Walsh |
| Autore | Rossi Francesca |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier, 2006 |
| Descrizione fisica | 1 online resource (xi, 955 pages) : illustrations |
| Disciplina | 005.116 |
| Altri autori (Persone) |
RossiFrancesca <1962->
Van BeekPeter WalshToby |
| Collana | Foundations of artificial intelligence |
| Soggetto topico |
Constraint programming (Computer science)
Computer programming |
| ISBN |
1-280-63604-1
9786610636044 0-08-046380-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Constraint satisfaction: an emerging paradigm -- Chapter 3. Constraint propagation -- Chapter 4. Backtracking search algorithms -- Chapter 5. Local search methods -- Chapter 6. Global constraints -- Chapter 7. Tractable structures for constraint satisfaction problems -- Chapter 8. The complexity of constraint languages -- Chapter 9. Soft constraints -- Chapter 10. Symmetry in constraint programming -- Chapter 11. Modelling -- Chapter 12. Constraint logic programming -- Chapter 13. Constraints in procedural and concurrent languages -- Chapter 14. Finite domain constraint programming systems -- Chapter 15. Operations research methods in constraint programming -- Chapter 16. Continuous and interval constraints -- Chapter 17. Constraints over structured domains -- Chapter 18. Randomness and structure -- Chapter 19. Temporal CSPs -- Chapter 20. Distributed constraint programming -- Chapter 21. Uncertainty and change -- Chapter 22. Constraint-based scheduling and planning -- Chapter 23. Vehicle routing -- Chapter 24. Configuration -- Chapter 25. Constraint applications in networks -- Chapter 26. Bioinformatics and constraints. |
| Record Nr. | UNINA-9910784600303321 |
|
Rossi Francesca
|
||
| Amsterdam ; ; Boston, : Elsevier, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of constraint programming / / edited by Francesca Rossi, Peter van Beek, Toby Walsh
| Handbook of constraint programming / / edited by Francesca Rossi, Peter van Beek, Toby Walsh |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Amsterdam ; ; Boston, : Elsevier, 2006 |
| Descrizione fisica | 1 online resource (xi, 955 pages) : illustrations |
| Disciplina | 005.1/16 |
| Altri autori (Persone) |
RossiFrancesca <1962->
Van BeekPeter WalshToby |
| Collana | Foundations of artificial intelligence |
| Soggetto topico |
Constraint programming (Computer science)
Computer programming |
| ISBN |
1-280-63604-1
9786610636044 0-08-046380-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. Constraint satisfaction: an emerging paradigm -- Chapter 3. Constraint propagation -- Chapter 4. Backtracking search algorithms -- Chapter 5. Local search methods -- Chapter 6. Global constraints -- Chapter 7. Tractable structures for constraint satisfaction problems -- Chapter 8. The complexity of constraint languages -- Chapter 9. Soft constraints -- Chapter 10. Symmetry in constraint programming -- Chapter 11. Modelling -- Chapter 12. Constraint logic programming -- Chapter 13. Constraints in procedural and concurrent languages -- Chapter 14. Finite domain constraint programming systems -- Chapter 15. Operations research methods in constraint programming -- Chapter 16. Continuous and interval constraints -- Chapter 17. Constraints over structured domains -- Chapter 18. Randomness and structure -- Chapter 19. Temporal CSPs -- Chapter 20. Distributed constraint programming -- Chapter 21. Uncertainty and change -- Chapter 22. Constraint-based scheduling and planning -- Chapter 23. Vehicle routing -- Chapter 24. Configuration -- Chapter 25. Constraint applications in networks -- Chapter 26. Bioinformatics and constraints. |
| Record Nr. | UNINA-9910825325103321 |
| Amsterdam ; ; Boston, : Elsevier, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent advances in constraints : 13th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2008, rome, italy, june 18-20, 2008, revised selected papers / / edited by Angelo Oddi, François Fages, Francesca Rossi
| Recent advances in constraints : 13th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2008, rome, italy, june 18-20, 2008, revised selected papers / / edited by Angelo Oddi, François Fages, Francesca Rossi |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (154 p.) |
| Disciplina | 005.116 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence ; 5655 |
| Soggetto topico |
Logic programming
Constraint programming (Computer science) |
| ISBN |
1-282-33178-7
9786612331787 3-642-03251-6 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Marriages to Coalitions: A Soft CSP Approach -- Solving CSPs with Naming Games -- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints -- Challenges in Constraint-Based Analysis of Hybrid Systems -- From Rules to Constraint Programs with the Rules2CP Modelling Language -- Combining Symmetry Breaking and Global Constraints -- Iterative Flattening Search on RCPSP/max Problems: Recent Developments -- Robust Solutions in Unstable Optimization Problems -- IDB-ADOPT: A Depth-First Search DCOP Algorithm. |
| Altri titoli varianti | CSCLP 2008 |
| Record Nr. | UNINA-9910483269803321 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent advances in constraints : 13th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2008, rome, italy, june 18-20, 2008, revised selected papers / / edited by Angelo Oddi, François Fages, Francesca Rossi
| Recent advances in constraints : 13th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2008, rome, italy, june 18-20, 2008, revised selected papers / / edited by Angelo Oddi, François Fages, Francesca Rossi |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2009] |
| Descrizione fisica | 1 online resource (154 p.) |
| Disciplina | 005.116 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence ; 5655 |
| Soggetto topico |
Logic programming
Constraint programming (Computer science) |
| ISBN |
1-282-33178-7
9786612331787 3-642-03251-6 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Marriages to Coalitions: A Soft CSP Approach -- Solving CSPs with Naming Games -- An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints -- Challenges in Constraint-Based Analysis of Hybrid Systems -- From Rules to Constraint Programs with the Rules2CP Modelling Language -- Combining Symmetry Breaking and Global Constraints -- Iterative Flattening Search on RCPSP/max Problems: Recent Developments -- Robust Solutions in Unstable Optimization Problems -- IDB-ADOPT: A Depth-First Search DCOP Algorithm. |
| Altri titoli varianti | CSCLP 2008 |
| Record Nr. | UNISA-996465308903316 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2009] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Recent advances in constraints : 12th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2007 rocquencourt, france, june 7-8, 2007 revised selected papers / / edited by François Fages, Francesca Rossi, Sylvain Soliman
| Recent advances in constraints : 12th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2007 rocquencourt, france, june 7-8, 2007 revised selected papers / / edited by François Fages, Francesca Rossi, Sylvain Soliman |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (VII, 159 p.) |
| Disciplina | 005.115 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence ; 5129 |
| Soggetto topico |
Constraint programming (Computer science)
Logic programming |
| ISBN | 3-540-89812-3 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games -- Temporal Reasoning in Nested Temporal Networks with Alternatives -- SCLP for Trust Propagation in Small-World Networks -- Improving ABT Performance by Adding Synchronization Points -- On the Integration of Singleton Consistencies and Look-Ahead Heuristics -- Combining Two Structured Domains for Modeling Various Graph Matching Problems -- Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR -- Preference-Based Problem Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global Filtration for Satisfying Goals in Mutual Exclusion Networks. |
| Altri titoli varianti |
Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming
CSCLP 2007 |
| Record Nr. | UNINA-9910483224403321 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Recent advances in constraints : 12th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2007 rocquencourt, france, june 7-8, 2007 revised selected papers / / edited by François Fages, Francesca Rossi, Sylvain Soliman
| Recent advances in constraints : 12th annual ercim international workshop on constraint solving and constraint logic programming, csclp 2007 rocquencourt, france, june 7-8, 2007 revised selected papers / / edited by François Fages, Francesca Rossi, Sylvain Soliman |
| Edizione | [1st ed. 2008.] |
| Pubbl/distr/stampa | Berlin, Germany ; ; New York, United States : , : Springer, , [2008] |
| Descrizione fisica | 1 online resource (VII, 159 p.) |
| Disciplina | 005.115 |
| Collana | Lecture notes in computer science. Lecture notes in artificial intelligence ; 5129 |
| Soggetto topico |
Constraint programming (Computer science)
Logic programming |
| ISBN | 3-540-89812-3 |
| Classificazione |
DAT 706f
SS 4800 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | A Comparison of the Notions of Optimality in Soft Constraints and Graphical Games -- Temporal Reasoning in Nested Temporal Networks with Alternatives -- SCLP for Trust Propagation in Small-World Networks -- Improving ABT Performance by Adding Synchronization Points -- On the Integration of Singleton Consistencies and Look-Ahead Heuristics -- Combining Two Structured Domains for Modeling Various Graph Matching Problems -- Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR -- Preference-Based Problem Solving for Constraint Programming -- Generalizing Global Constraints Based on Network Flows -- A Global Filtration for Satisfying Goals in Mutual Exclusion Networks. |
| Altri titoli varianti |
Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming
CSCLP 2007 |
| Record Nr. | UNISA-996466339403316 |
| Berlin, Germany ; ; New York, United States : , : Springer, , [2008] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||