Cantitate/Preț
Produs
Total produse
Vezi coșul
Principles and Practice of Constraint Programming - CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings de David Cohen

Principles and Practice of Constraint Programming - CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings: Lecture Notes in Computer Science, cartea 6308

Editat de David Cohen
en Limba Engleză Paperback – 30 aug 2010

Metodologia programării prin constrângeri este abordată în acest volum sub o lupă tehnică riguroasă, definind stadiul cercetării și al implementărilor practice la nivelul anului 2010. Ne-a atras atenția modul în care Principles and Practice of Constraint Programming - CP 2010 reușește să balanseze rigoarea teoretică a algoritmilor cu necesitățile pragmatice ale ingineriei software. Volumul, integrat în seria Lecture Notes in Computer Science, documentează progresele înregistrate în domenii critice precum algoritmii de căutare, modelarea sistemelor complexe și limbajele de programare dedicate.

Structura volumului reflectă o progresie logică de la fundamentele matematice la studii de caz aplicate. Secțiunea de cercetare explorează optimizarea performanței prin tehnici precum propagarea intervalelor de constrângeri și exploatarea monotoniei, în timp ce secțiunea dedicată aplicațiilor oferă soluții concrete pentru probleme de logistică, cum ar fi rutarea vehiculelor la scară largă cu ferestre de timp. Recomandăm analiza lucrărilor invitate, care fac puntea între SAT (Satisfiability Modulo Theories) și finanțele computaționale, oferind o perspectivă interdisciplinară asupra eficienței computaționale.

În contextul ingineriei software, volumul pune un accent deosebit pe testarea expresivității și pe utilizarea programării prin constrângeri în managementul serviciilor profesionale. Această abordare demonstrează versatilitatea paradigmei constrângerilor dincolo de mediul academic, vizând optimizarea proceselor în sisteme de producție reale. Deși editorul David Cohen este asociat în alte contexte cu lucrări din sfera psihologiei sau a istoriei, acest volum rămâne un pilon tehnic esențial pentru comunitatea de dezvoltare software și inteligență artificială, fiind rezultatul unei selecții riguroase peer-review.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 63938 lei

Preț vechi: 79923 lei
-20%

Puncte Express: 959

Carte disponibilă

Livrare economică 18 mai-01 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642153952
ISBN-10: 364215395X
Pagini: 672
Ilustrații: XX, 650 p. 145 illus.
Greutate: 0.96 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Programming and Software Engineering

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

De ce să citești această carte

Recomandăm acest volum profesioniștilor din ingineria software și cercetătorilor care doresc să aprofundeze algoritmii de optimizare și programarea declarativă. Cititorul câștigă acces la metodologii verificate de filtrare a constrângerilor și tehnici de descompunere pentru probleme complexe de tip Vehicle Routing sau Bin Packing, esențiale în dezvoltarea sistemelor de suport decizional și a arhitecturilor software performante.

Despre autor

David B. Cohen este un profil academic polivalent, cu un doctorat obținut la Universitatea din Michigan și o carieră de profesor la Universitatea din Texas la Austin. Deși expertiza sa centrală vizează psihologia și impactul factorilor biologici asupra personalității — teme explorate în lucrări precum Out of the Blue — rolul său de editor pentru volumul Principles and Practice of Constraint Programming - CP 2010 subliniază caracterul interdisciplinar al cercetării academice. Activitatea sa editorială în seria Lecture Notes in Computer Science reflectă standardele de rigoare științifică aplicate în selecția lucrărilor prezentate la conferințele internaționale de prestigiu.

Descriere scurtă

The 16th annual International Conference on the Principles and Practice of Constraint Programming (CP 2010) was held in St. Andrews, Scotland, during September 6–10, 2010. We would like to thank our sponsors for their generous support of this event. This conference is concerned with all aspects of computing with constraints, including:theory,algorithms,applications,environments,languages,modelsand systems. We received a wide variety of submissions, each of which was reviewed by at least three referees. Referees were chosen for each submission by an initial bidding process where Program Committee members chose papers from their area of interest. The range of expertise represented by the large Program C- mittee meant that almost all submissions were reviewed by subject experts on the Program Committee, or by colleagues chosen by members of the Program Committee for their particular expertise. Papers weresolicitedeither as long (15 page), or short (8 page) submissions. Short-paper submissions were refereed to exactly the same high standards as long-paper submissions but naturally were expected to contain a smaller quantity of new material. Thus there is no disti- tion in these proceedings between short and long papers. I used the excellent EasyChair conference management system to support this process of reviewing, and for the collation and organization of these proceedings. Submissions were made either to the applications track or to the research track. Therewere101(23short)researchtracksubmissionsofwhich36(8short) wereaccepted,whichisa36%(35%ofshort)acceptancerate. Applicationstrack submissions received special consideration and the acceptance rate was sign- cantly higher than for the research track.

Cuprins

Invited Talks.- SAT Modulo Theories: Getting the Best of SAT and Global Constraint Filtering.- Constraint-Directed Search in Computational Finance and Economics.- Constraints, Graphs, Algebra, Logic, and Complexity.- Distinguished Papers.- Testing Expressibility Is Hard.- Applying Constraint Programming to Identification and Assignment of Service Professionals.- Computing the Density of States of Boolean Formulas.- Research Track.- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP.- Making Adaptive an Interval Constraint Propagation Algorithm Exploiting Monotonicity.- Improving the Performance of maxRPC.- Checking-Up on Branch-and-Check.- Spatial, Temporal, and Hybrid Decompositions for Large-Scale Vehicle Routing with Time Windows.- Decomposition of the NValue Constraint.- Propagating the Bin Packing Constraint Using Linear Programming.- Sweeping with Continuous Domains.- A New Hybrid Tractable Class of Soft Constraint Problems.- A Propagator for Maximum Weight String Alignment with Arbitrary Pairwise Dependencies.- Using Learnt Clauses in maxsat.- Domain Consistency with Forbidden Values.- Generating Special-Purpose Stateless Propagators for Arbitrary Constraints.- Including Ordinary Differential Equations Based Constraints in the Standard CP Framework.- Structural Tractability of Enumerating CSP Solutions.- Diversification and Intensification in Parallel SAT Solving.- A Systematic Approach to MDD-Based Constraint Programming.- A Complete Multi-valued SAT Solver.- Exact Cover via Satisfiability: An Empirical Study.- On the Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry.- Ensemble Classification for Constraint Solver Configuration.- On Testing Constraint Programs.- On the Containment of Forbidden Patterns Problems.- Improving the Floating Point Addition and Subtraction Constraints.- The Lattice Structure of Sets of Surjective Hyper-Operations.- Constraint Based Scheduling to Deal with Uncertain Durations and Self-Timed Execution.- Local Consistency and SAT-Solvers.- Heuristics for Planning with SAT.- Value-Ordering Heuristics: Search Performance vs. Solution Diversity.- A New Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints.- A Generic Visualization Platform for CP.- Database Constraints and Homomorphism Dualities.- A Box-Consistency Contractor Based on Extremal Functions.- Exponential Propagation for Set Variables.- Applications Track.- An Empirical Study of Optimization for Maximizing Diffusion in Networks.- An Integrated Modelling, Debugging, and Visualisation Environment for G12.- Global Constraints on Feature Models.- Constraint Programming for Mining n-ary Patterns.- An Integrated Business Rules and Constraints Approach to Data Centre Capacity Management.- Context-Sensitive Call Control Using Constraints and Rules.- Load Balancing and Almost Symmetries for RAMBO Quorum Hosting.- Testing Continuous Double Auctions with a Constraint-Based Oracle.- A Safe and Flexible CP-Based Approach for Velocity Tuning Problems.- Contingency Plans for Air Traffic Management.

Caracteristici

Fast conference proceedings State-of-the-art report Up to date results