Recent Advances in Constraints [[electronic resource] ] : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers / / edited by Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Recent Advances in Constraints [[electronic resource] ] : 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2006 Caparica, Portugal, June 26-28, 2006 Revised Selected and Invited Papers / / edited by Francisco Azevedo, Pedro Barahona, Francois Fages, Francesca Rossi
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2007 |
| Edizione: | 1st ed. 2007. |
| Descrizione fisica: | 1 online resource (VIII, 188 p.) |
| Disciplina: | 005.11 |
| Soggetto topico: | Artificial intelligence |
| Programming languages (Electronic computers) | |
| Computer logic | |
| Algorithms | |
| Numerical analysis | |
| Mathematical logic | |
| Artificial Intelligence | |
| Programming Languages, Compilers, Interpreters | |
| Logics and Meanings of Programs | |
| Algorithm Analysis and Problem Complexity | |
| Numeric Computing | |
| Mathematical Logic and Formal Languages | |
| Persona (resp. second.): | AzevedoFrancisco |
| BarahonaPedro | |
| FagesFrancois | |
| RossiFrancesca | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Tutorial -- Hybrid Algorithms in Constraint Programming -- Technical Papers -- An Attempt to Dynamically Break Symmetries in the Social Golfers Problem -- A Constraint Model for State Transitions in Disjunctive Resources -- Reusing CSP Propagators for QCSPs -- Bipolar Preference Problems: Framework, Properties and Solving Techniques -- Distributed Forward Checking May Lie for Privacy -- Solving First-Order Constraints in the Theory of the Evaluated Trees -- Extracting Microstructure in Binary Constraint Networks -- Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees -- Efficient Recognition of Acyclic Clustered Constraint Satisfaction Problems -- Cost-Based Filtering for Stochastic Inventory Control. |
| Titolo autorizzato: | Recent Advances in Constraints |
| ISBN: | 3-540-73817-7 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465484703316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Artificial Intelligence ; ; 4651