Vai al contenuto principale della pagina

Principles and Practice of Constraint Programming [[electronic resource] ] : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / / edited by J. Christopher Beck



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Titolo: Principles and Practice of Constraint Programming [[electronic resource] ] : 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017, Proceedings / / edited by J. Christopher Beck Visualizza cluster
Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
Edizione: 1st ed. 2017.
Descrizione fisica: 1 online resource (XXXVI, 724 p. 161 illus.)
Disciplina: 005.116
Soggetto topico: Mathematical logic
Computer science—Mathematics
Artificial intelligence
Algorithms
Mathematical Logic and Formal Languages
Mathematics of Computing
Artificial Intelligence
Algorithm Analysis and Problem Complexity
Persona (resp. second.): BeckJ. Christopher
Nota di bibliografia: Includes bibliographical references and index.
Sommario/riassunto: This book constitutes the refereed conference proceedings of the 23nd International Conference on Principles and Practice of Constraint Programming, CP 2017, held in Melbourne, Australia from August 28, 2017 until September 1, 2017. The conference is colocated with the 20th International Conference on Theory and Applications of Satisfiability Testing (SAT 2017) and the 33rd International Conference on Logic Programming. The 46 revised full papers presented were carefully reviewed and selected from 115 submissions. The scope of the contributions includes all aspects of computing with constraints, including theory, algorithms, environments, languages, models, systems, and applications such as decision making, resource al location, scheduling, configuration, and planning. The papers are grouped into the following tracks: technical track; application track; machine learning & CP track; operations research & CP track; satisfiability & CP track, test and verification & CP track; journal & sister conference track.
Titolo autorizzato: Principles and Practice of Constraint Programming  Visualizza cluster
ISBN: 3-319-66158-2
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996466172103316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Serie: Programming and Software Engineering ; ; 10416