eBook.de : Ihr Online Shop für eBooks, Reader, Downloads und Bücher
Connect 01/2015 eBook-Shops: Testsieger im epub Angebot, Testurteil: gut Die Welt: Kundenorientierte Internetseiten Prädikat GOLD
+49 (0)40 4223 6096
50% und mehr sparen mit den eBook Schnäppchen der Woche² >>

Principles and Practice of Constraint Programming - CP 2004

10th International Conference, CP 2004, Toronto, Canada, Se…
Lieferbar innerhalb von 3 bis 5 Werktagen
Buch (kartoniert)
Buch (kartoniert) € 149,99* inkl. MwSt.


Titel: Principles and Practice of Constraint Programming - CP 2004

ISBN: 3540232419
EAN: 9783540232414
10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings.
Auflage 2004.
Sprache: Englisch.
Herausgegeben von Mark Wallace
Springer Berlin Heidelberg

13. September 2004 - kartoniert - 848 Seiten

The 10th International Conference on the Principles and Practice of Constraint Programming (CP 2003) was held in Toronto, Canada, during September 27 - October 1, 2004. Information about the conference can be found on the Web at Constraint programming (CP) is about problem modelling, problem solving, programming, optimization, software engineering, databases, visualization, user interfaces, and anything to do with satisfying complex constraints. It reaches into mathematics, operations research, arti?cial intelligence, algorithms, c- plexity, modelling and programming languages, and many aspects of computer science. Moreover, CP is never far from applications, and its successful use in industry and government goes hand in hand with the success of the CP research community. Constraintprogrammingcontinuesto beanexciting,?ourishingandgrowing research?eld,astheannualCPconferenceproceedingsamplywitness.Thisyear, from 158 submissions, we chose 46 to be published in full in the proceedings. Instead of selecting one overall best paper, we picked out four "distinguished" papers - though we were tempted to select at least 12 such papers. In addition we included 16 short papersin the proceedings- these were presentedas posters at CP 2004. This volume includes summaries of the four invited talks of CP 2004. Two speakers from industry were invited. However these were no ordinary industrial representatives,buttwoofthe leadingresearchersinthe CPcommunity:Helmut Simonis of Parc Technologies, until its recent takeover by Cisco Systems; and Jean Francoi s Puget, Director of Optimization Technology at ILOG. The other two invited speakers are also big movers and shakers in the researchcommunity.
Invited Papers.- Constraints in Program Analysis and Verification.- Constraint Programming Next Challenge: Simplicity of Use.- Algorithmic Adventures at the Interface of Computer Science, Statistical Physics, and Combinatorics.- Challenges for Constraint Programming in Networking.- Distinguished Papers.- Consistency and Random Constraint Satisfaction Models with a High Constraint Tightness.- Statistical Regimes Across Constrainedness Regions.- Constraint-Based Combinators for Local Search.- Unary Resource Constraint with Optional Activities.- Full Papers.- Constraint Propagation as a Proof System.- Backtrack-Free Search for Real-Time Constraint Satisfaction.- Deriving Filtering Algorithms from Constraint Checkers.- Leveraging the Learning Power of Examples in Automated Constraint Acquisition.- Disjoint, Partition and Intersection Constraints for Set and Multiset Variables.- Decomposition and Learning for a Hard Real Time Task Allocation Problem.- Quantified Constraint Satisfaction and 2-Semilattice Polymorphisms.- (Smart) Look-Ahead Arc Consistency and the Pursuit of CSP Tractability.- Heuristic Selection for Stochastic Search Optimization: Modeling Solution Quality by Extreme Value Theory.- A Complete Characterization of Complexity for Boolean Constraint Optimization Problems.- Financial Portfolio Optimisation.- Bounding the Resource Availability of Partially Ordered Events with Constant Resource Impact.- Monotone Literals and Learning in QBF Reasoning.- Streamlined Constraint Reasoning.- A Domain Consistency Algorithm for the Stretch Constraint.- A Hybrid Method for Planning and Scheduling.- Counting-Based Look-Ahead Schemes for Constraint Satisfaction.- Completable Partial Solutions in Constraint Programming and Constraint-Based Scheduling.- Set Domain Propagation Using ROBDDs.- Global Constraints for Integer and Set Value Precedence.- Quality of LP-Based Approximations for Highly Combinatorial Problems.- Constraint Satisfaction in Semi-structured Data Graphs.- Strategies for Global Optimization of Temporal Preferences.- ID Walk: A Candidate List Strategy with a Simple Diversification Device.- Understanding Random SAT: Beyond the Clauses-to-Variables Ratio.- Symbolic Decision Procedures for QBF.- Propagation Guided Large Neighborhood Search.- A Regular Language Membership Constraint for Finite Sequences of Variables.- Generating Robust Partial Order Schedules.- Full Dynamic Substitutability by SAT Encoding.- Improved Bound Computation in Presence of Several Clique Constraints.- Improved Algorithms for the Global Cardinality Constraint.- Impact-Based Search Strategies for Constraint Programming.- The Cardinality Matrix Constraint.- Controllability of Soft Temporal Constraint Problems.- Hybrid Set Domains to Strengthen Constraint Propagation and Reduce Symmetries.- Speeding Up Constraint Propagation.- Theoretical Foundations of CP-Based Lagrangian Relaxation.- A Constraint for Bin Packing.- Solving Non-clausal Formulas with DPLL Search.- A Hyper-arc Consistency Algorithm for the Soft Alldifferent Constraint.- Efficient Strategies for (Weighted) Maximum Satisfiability.- Short Papers.- Preprocessing Techniques for Distributed Constraint Optimization.- Variable Ordering Heuristics Show Promise.- The Tractability of Global Constraints.- Support Inference for Generic Filtering.- Strong Cost-Based Filtering for Lagrange Decomposition Applied to Network Design.- The Impact of AND/OR Search Spaces on Constraint Satisfaction and Counting.- A General Extension of Constraint Propagation for Constraint Optimization.- How Much Backtracking Does It Take to Color Random Graphs? Rigorous Results on Heavy Tails.- Solving the Crane Scheduling Problem Using Intelligent Search Schemes.- Algorithms for Quantified Constraint Satisfaction Problems.- Improving the Applicability of Adaptive Consistency: Preliminary Results.- On-Demand Bound Computation for Best-First Constraint Optimization.- A New Algorithm for Maintaining Arc Consistency After
Kundenbewertungen zu „Principles and Practice of Constraint Programming - CP 2004“
Noch keine Bewertungen vorhanden
Zur Rangliste der Rezensenten
Veröffentlichen Sie Ihre Kundenbewertung:
Kundenbewertung schreiben
Unsere Leistungen auf einen Klick
Unser Service für Sie
Bequem, einfach und sicher mit eBook.de. mehr Infos akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal mehr Infos
Geprüfte Qualität
  • Schnelle Downloads
  • Datenschutz
  • Sichere Zahlung
  • SSL-Verschlüsselung
+49 (0)40 4223 6096
Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 18.00 Uhr
Ihre E-Mail-Adresse eintragen und kostenlos informiert werden:
2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier.

eBook.de - Meine Bücher immer dabei
eBook.de ist eine Marke der Hugendubel Digital GmbH & Co. KG
Folgen Sie uns unter: