Recent Advances in Constraints [[electronic resource] ] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / / edited by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Recent Advances in Constraints [[electronic resource] ] : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers / / edited by Boi Faltings, Adrian Petcu, François Fages, Francesca Rossi
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Edizione: | 1st ed. 2005. |
| Descrizione fisica: | 1 online resource (X, 217 p.) |
| Disciplina: | 006.3 |
| Soggetto topico: | Artificial intelligence |
| Programming languages (Electronic computers) | |
| Algorithms | |
| Computer logic | |
| Mathematical logic | |
| Numerical analysis | |
| Artificial Intelligence | |
| Programming Languages, Compilers, Interpreters | |
| Algorithm Analysis and Problem Complexity | |
| Logics and Meanings of Programs | |
| Mathematical Logic and Formal Languages | |
| Numeric Computing | |
| Persona (resp. second.): | FaltingsBoi |
| PetcuAdrian | |
| FagesFrançois | |
| RossiFrancesca | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Constraint Propagation -- GCC-Like Restrictions on the Same Constraint -- A Note on Bilattices and Open Constraint Programming -- Pruning by Equally Constrained Variables -- Search -- Trying Again to Fail-First -- Characterization of a New Restart Strategy for Randomized Backtrack Search -- Dynamic Distributed BackJumping -- A Value Ordering Heuristic for Local Search in Distributed Resource Allocation -- Automatically Exploiting Symmetries in Constraint Programming -- New Structural Decomposition Techniques for Constraint Satisfaction Problems -- Applications -- Algorithms for the Maximum Hamming Distance Problem -- A System Prototype for Solving Multi-granularity Temporal CSP -- Computing Equilibria Using Interval Constraints -- Constraint-Based Approaches to the Covering Test Problem -- Super Solutions for Combinatorial Auctions -- Better Propagation for Non-preemptive Single-Resource Constraint Problems. |
| Titolo autorizzato: | Recent Advances in Constraints |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465965403316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Artificial Intelligence ; ; 3419