Menü
Alle
Direkt bestellen
Merkzettel
Warenkorb

SALE Endspurt: Alles wird teurer – bei uns wird gespart!

Principles and Practice of Constraint Programming - CP 2005

11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005 (Sprache: Englisch)
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Principles and Practice of Constraint Programming - CP 2005".

Kommentar verfassen
 
 
Merken
Teilen
Merken
Teilen
 
 
The 11th International Conference on the Principles and Practice of Constraint Programming (CP 2005) was held in Sitges (Barcelona), Spain, October 1-5, 2005. Information about the conference can be found on the web at...
Mehr zum Inhalt Video Inhaltsverzeichnis
lieferbar
versandkostenfrei

Bestellnummer: 19244994

Buch 149.79 €
In den Warenkorb
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
lieferbar
versandkostenfrei

Bestellnummer: 19244994

Buch 149.79 €
In den Warenkorb
The 11th International Conference on the Principles and Practice of Constraint Programming (CP 2005) was held in Sitges (Barcelona), Spain, October 1-5, 2005. Information about the conference can be found on the web at...
Mehr zum Inhalt Video Inhaltsverzeichnis
Andere Kunden interessierten sich auch für
-7%
Principles and Practice of Constraint Programming - CP 2005 / Lecture Notes in Computer Science Bd.3709
Bd. 3709

Principles and Practice of Constraint Programming - CP 2005 / Lecture Notes in Computer Science Bd.3709

0 Sterne
eBook

Statt 149.79 € 19

139.09 €

Download bestellen
Erschienen am 19.10.2005
sofort als Download lieferbar
Principle and Practice of Constraint Programming - CP 2006

Principle and Practice of Constraint Programming - CP 2006

0 Sterne
Buch

129.99 €

In den Warenkorb
Erschienen am 26.09.2006
lieferbar
All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

0 Sterne
Buch

90.90 €

In den Warenkorb
Erschienen am 20.07.2007
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Logic Programming

Logic Programming

0 Sterne
Buch

84.99 €

In den Warenkorb
Erschienen am 19.09.2005
lieferbar
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

0 Sterne
Buch

69.54 €

In den Warenkorb
Erschienen am 16.03.2007
lieferbar
Compiler Construction

Compiler Construction

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 10.03.1999
lieferbar
Compiler Construction

Compiler Construction

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 21.03.2006
lieferbar
Logic Programming

Logic Programming

0 Sterne
Buch

101.64 €

In den Warenkorb
Erschienen am 03.08.2006
lieferbar
Software Engineering for Self-Adaptive Systems

Software Engineering for Self-Adaptive Systems

0 Sterne
Buch

99.99 €

In den Warenkorb
Erschienen am 19.06.2009
lieferbar
Programming Multi-Agent-Systems

Programming Multi-Agent-Systems

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 25.04.2007
lieferbar
Model and Data Engineering

Model and Data Engineering

0 Sterne
Buch

49.22 €

In den Warenkorb
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 01.12.2008
lieferbar
Principles and Practice of Constraint Programming - CP 2003

Principles and Practice of Constraint Programming - CP 2003

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 24.09.2003
lieferbar
Certified Programs and Proofs

Certified Programs and Proofs

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 18.11.2011
lieferbar
Algebraic Foundations in Computer Science

Algebraic Foundations in Computer Science

0 Sterne
Buch

64.19 €

In den Warenkorb
Erschienen am 13.10.2011
lieferbar
Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems

0 Sterne
Buch

64.19 €

In den Warenkorb
lieferbar
Conceptual Modelling and Its Theoretical Foundations

Conceptual Modelling and Its Theoretical Foundations

0 Sterne
Buch

64.19 €

In den Warenkorb
Erschienen am 17.02.2012
lieferbar
Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

0 Sterne
Buch

85.59 €

In den Warenkorb
Erschienen am 14.03.2012
lieferbar
Produktdetails
Produktinformationen zu „Principles and Practice of Constraint Programming - CP 2005 “
Klappentext zu „Principles and Practice of Constraint Programming - CP 2005 “
The 11th International Conference on the Principles and Practice of Constraint Programming (CP 2005) was held in Sitges (Barcelona), Spain, October 1-5, 2005. Information about the conference can be found on the web at http://www.iiia.csic.es/cp2005/.Informationaboutpastconferencesinthe series can be found athttp://www.cs.ualberta.ca/~ai/cp/. The CP conference series is the premier international conference on c- straint programming and is held annually. The conference is concerned with all aspects of computing with constraints, including: algorithms, applications, environments, languages, models and systems. This year, we received 164 submissions. All of the submitted papers received atleastthreereviews,andthepapersandtheirreviewswerethenextensivelyd- cussed during an online Program Committee meeting. As a result, the Program Committee chose 48 (29.3%) papers to be published in full in the proceedings and a further 22 (13.4%)papers to be published as short papers.The full papers werepresentedattheconferencein twoparalleltracksandtheshortpaperswere presented as posters during a lively evening session. Two papers were selected by a subcommittee of the ProgramCommittee-consisting of Chris Beck, Gilles Pesant, and myself-to receive best paper awards. The conference program also includedexcellentinvitedtalksbyH¿ ectorGe?ner,IanHorrocks,FrancescaRossi, and Peter J. Stuckey. As a permanent record, the proceedings contain four-page extended abstracts of the invited talks.
Inhaltsverzeichnis zu „Principles and Practice of Constraint Programming - CP 2005 “
Invited Papers.- Search and Inference in AI Planning.- OWL: A Description Logic Based Ontology Language.- Preference Reasoning.- The G12 Project: Mapping Solver Independent Models to Efficient Solutions.- Best Papers.- Symmetry Definitions for Constraint Satisfaction Problems.- Dynamic Ordering for Asynchronous Backtracking on DisCSPs.- Full Papers.- Incremental Algorithms for Local Search from Existential Second-Order Logic.- Inter-distance Constraint: An Extension of the All-Different Constraint for Scheduling Equal Length Jobs.- Mind the Gaps: A New Splitting Strategy for Consistency Techniques.- Graph Invariants as Necessary Conditions for Global Constraints.- Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation.- Sub-optimality Approximations.- A Linear-Logic Semantics for Constraint Handling Rules.- Distributed Stable Matching Problems.- Beyond Hypertree Width: Decomposition Methods Without Decompositions.- Ad-hoc Global Constraints for Life.- Tractable Clones of Polynomials over Semigroups.- CP(Graph): Introducing a Graph Computation Domain in Constraint Programming.- Interval Analysis in Scheduling.- Assumption-Based Pruning in Conditional CSP.- Conditional Symmetry Breaking.- Symmetry and Consistency.- Solving the MOLR and Social Golfers Problems.- Advances in Polytime Isomorph Elimination for Configuration.- Planning and Scheduling to Minimize Tardiness.- Search Heuristics and Heavy-Tailed Behaviour.- 2 -Way vs.d -Way Branching for CSP.- Maintaining Longest Paths in Cyclic Graphs.- Applying Constraint Programming to Rigid Body Protein Docking.- Maximum Constraint Satisfaction on Diamonds.- Exploiting Unit Propagation to Compute Lower Bounds in Branch and Bound Max-SAT Solvers.- Generalized Conflict Learning for Hybrid Discrete/Linear Optimization.- Parallel Local Search in Comet.- Generating Corrective Explanations for Interactive Constraint Satisfaction.- SPREAD: A Balancing Constraint Based on Statistics.- Automatic Detection of
... mehr
Variable and Value Symmetries.- Breaking All Value Symmetries in Surjection Problems.- AC-*: A Configurable, Generic and Adaptive Arc Consistency Algorithm.- Maintaining Arc Consistency Algorithms During the Search Without Additional Space Cost.- Weak Composition for Qualitative Spatial and Temporal Reasoning.- Boosting Distributed Constraint Satisfaction.- Depth-First Mini-Bucket Elimination.- Using SAT in QBF.- Tree Decomposition with Function Filtering.- On Solving Soft Temporal Constraints Using SAT Techniques.- Eplex: Harnessing Mathematical Programming Solvers for Constraint Logic Programming.- Caching Search States in Permutation Problems.- Repair-Based Methods for Quantified CSPs.- Handling Implication and Universal Quantification Constraints in FLUX.- Solving Simple Planning Problems with More Inference and No Search.- Solving Large-Scale Nonlinear Programming Problems by Constraint Partitioning.- Factor Analytic Studies of CSP Heuristics.- Short Papers.- Lookahead Saturation with Restriction for SAT.- Evolving Variable-Ordering Heuristics for Constrained Optimisation.- Multi-point Constructive Search.- Bounds of Graph Characteristics.- Acquiring Parameters of Implied Global Constraints.- Integrating Benders Decomposition Within Constraint Programming.- Using Boolean Constraint Propagation for Sub-clauses Deduction.- Extending Systematic Local Search for Job Shop Scheduling Problems.- Interactive Reconfiguration in Power Supply Restoration.- Neighbourhood Clause Weight Redistribution in Local Search for SAT.- Computing and Exploiting Tree-Decompositions for Solving Constraint Networks.- Encoding Requests to Web Service Compositions as Constraints.- Test Instance Generation for MAX 2SAT.- Consistency for Quantified Constraint Satisfaction Problems.- Alternate Modeling in Sport Scheduling.- Approximations in Distributed Optimization.- Extremal CSPs.- Beyond Finite Domains: The All Different and Global Cardinality Constraints.- Views and Iterators for Generic Constraint Implementations.- Approximated Consistency for the Automatic Recording Problem.- Towards an Optimal CNF Encoding of Boolean Cardinality Constraints.- Approximate Constrained Subgraph Matching.- Doctoral Papers.- Distributed Constraints for Large-Scale Scheduling Problems.- Solving Over-Constrained Problems with SAT.- A Constraint Based Agent for TAC-SCM.- Solving the Car-Sequencing Problem as a Non-binary CSP.- Dimensioning an Inbound Call Center Using Constraint Programming.- Methods to Learn Abstract Scheduling Models.- Automated Search for Heuristic Functions.- Constraint-Based Inference: A Bridge Between Constraint Processing and Probability Inference.- Scheduling Social Tournaments.- Domain Reduction for the Circuit Constraint.- Using Constraint Programming for Solving Distance CSP with Uncertainty.- Improved Algorithm for Finding (a,b)-Super Solutions.- Local Consistency in Weighted CSPs and Inference in Max-SAT.- Modeling Constraint Programs with Software Technology Standards.- Solution Equivalent Subquadrangle Reformulations of Constraint Satisfaction Problems.- Mechanism Design for Preference Aggregation over Coalitions.- LP as a Global Search Heuristic Across Different Constrainedness Regions.- Consistency for Partially Defined Constraints.- Subnet Generation Problem: A New Network Routing Problem.- Partial Redundant Modeling.- AND/OR Branch-and-Bound for Solving Mixed Integer Linear Programming Problems.- Weak Symmetries in Problem Formulations.- Towards the Systematic Generation of Channelling Constraints.- AND/OR Search Spaces and the Semantic Width of Constraint Networks.- Statistical Modelling of CSP Solving Algorithms Performance.- Probabilistic Arc Consistency.- GOOSE - A Generic Object-Oriented Search Environment.- Randomization for Multi-agent Constraint Optimization.- Uncertainty in Soft Constraint Problems.- Speeding Up Constrained Path Solvers with a Reachability Propagator.- From Linear Relaxations to Global Constraint Propagation.- Encoding HTN Planning as a Dynamic CSP.- Specialised Constraints for Stable Matching Problems.- Bounds-Consistent Local Search.- Robust Constraint Solving Using Multiple Heuristics.- Scheduling with Uncertain Start Dates.- The Role of Redundant Clauses in Solving Satisfiability Problems.- Applying Decomposition Methods to Crossword Puzzle Problems.- Asymmetric Distributed Constraints Satisfaction Problems.- Full Arc Consistency in WCSP and in Constraint Hierarchies with Finite Domains.- System Demonstrations.- CoJava: A Unified Language for Simulation and Optimization.- Programming with .- Computing Super-Schedules.- Proterv-II: An Integrated Production Planning and Scheduling System.- The Comet Programming Language and System.- Random Stimuli Generation for Functional Hardware Verification as a CP Application.- A BDD-Based Interactive Configurator for Modular Systems.
... weniger
Bibliographische Angaben
  • XX, 887 Seiten, Maße: 15,9 x 23,8 cm, Kartoniert (TB), Englisch
  • Verlag: Springer Berlin
  • ISBN-10: 3540292381
  • ISBN-13: 9783540292388
  • Erscheinungsdatum: 22.09.2005
Sprache:
Englisch
Kommentar zu "Principles and Practice of Constraint Programming - CP 2005"
Jetzt bewerten

Schreiben Sie den ersten Kommentar zu "Principles and Practice of Constraint Programming - CP 2005".

Kommentar verfassen
Andere Kunden kauften auch
Principle and Practice of Constraint Programming - CP 2006

Principle and Practice of Constraint Programming - CP 2006

0 Sterne
Buch

129.99 €

In den Warenkorb
Erschienen am 26.09.2006
lieferbar
All About Maude - A High-Performance Logical Framework

All About Maude - A High-Performance Logical Framework

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

0 Sterne
Buch

90.90 €

In den Warenkorb
Erschienen am 20.07.2007
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 20.07.2009
lieferbar
Logic Programming

Logic Programming

0 Sterne
Buch

84.99 €

In den Warenkorb
Erschienen am 19.09.2005
lieferbar
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

0 Sterne
Buch

69.54 €

In den Warenkorb
Erschienen am 16.03.2007
lieferbar
Compiler Construction

Compiler Construction

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 10.03.1999
lieferbar
Compiler Construction

Compiler Construction

0 Sterne
Buch

74.99 €

In den Warenkorb
Erschienen am 21.03.2006
lieferbar
Logic Programming

Logic Programming

0 Sterne
Buch

101.64 €

In den Warenkorb
Erschienen am 03.08.2006
lieferbar
Software Engineering for Self-Adaptive Systems

Software Engineering for Self-Adaptive Systems

0 Sterne
Buch

99.99 €

In den Warenkorb
Erschienen am 19.06.2009
lieferbar
Programming Multi-Agent-Systems

Programming Multi-Agent-Systems

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 25.04.2007
lieferbar
Model and Data Engineering

Model and Data Engineering

0 Sterne
Buch

49.22 €

In den Warenkorb
lieferbar
Recent Advances in Constraints

Recent Advances in Constraints

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 01.12.2008
lieferbar
Principles and Practice of Constraint Programming - CP 2003

Principles and Practice of Constraint Programming - CP 2003

0 Sterne
Buch

139.09 €

In den Warenkorb
Erschienen am 24.09.2003
lieferbar
Certified Programs and Proofs

Certified Programs and Proofs

0 Sterne
Buch

74.89 €

In den Warenkorb
Erschienen am 18.11.2011
lieferbar
Algebraic Foundations in Computer Science

Algebraic Foundations in Computer Science

0 Sterne
Buch

64.19 €

In den Warenkorb
Erschienen am 13.10.2011
lieferbar
Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems

0 Sterne
Buch

64.19 €

In den Warenkorb
lieferbar
Conceptual Modelling and Its Theoretical Foundations

Conceptual Modelling and Its Theoretical Foundations

0 Sterne
Buch

64.19 €

In den Warenkorb
Erschienen am 17.02.2012
lieferbar
Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

0 Sterne
Buch

85.59 €

In den Warenkorb
Erschienen am 14.03.2012
lieferbar
Weitere Empfehlungen zu „Principles and Practice of Constraint Programming - CP 2005 “
Weitere Artikel zum Thema
Dieser Artikel in unseren Themenspecials
0 Gebrauchte Artikel zu „Principles and Practice of Constraint Programming - CP 2005“
Zustand Preis Porto Zahlung Verkäufer Rating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich