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.
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 | ||
| ||