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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
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 | ||
![]() | ||
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 |
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] | ||
![]() | ||
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 |
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] | ||
![]() | ||
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 |
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] | ||
![]() | ||
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 |
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] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|