000 05871nam a22005295i 4500
001 978-3-642-15396-9
003 DE-He213
005 20140220084545.0
007 cr nn 008mamaa
008 100906s2010 gw | s |||| 0|eng d
020 _a9783642153969
_9978-3-642-15396-9
024 7 _a10.1007/978-3-642-15396-9
_2doi
050 4 _aQA76.9.A43
072 7 _aUMB
_2bicssc
072 7 _aCOM051300
_2bisacsh
082 0 4 _a005.1
_223
100 1 _aCohen, David.
_eeditor.
245 1 0 _aPrinciples and Practice of Constraint Programming – CP 2010
_h[electronic resource] :
_b16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings /
_cedited by David Cohen.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg,
_c2010.
300 _aXX, 650p. 145 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6308
505 0 _aInvited 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.
520 _aThis book constitutes the refereed proceedings of the 21 International Conference on Database and Expert Systems Applications, DEXA 2010, held in Bilbao, Spain, August 30-September 3, 2010. The 45 revised full papers and 36 short papers were carefully reviewed and selected from197 submissions. The papers are organized in topical sections on Web, Semanics and Ontologies, Information Integration and Process Modelling, Streams and Multimedia Databases, Data Management Algorithms and Performance, Decision Support Systems and Performance, Data Streams, XML Databases, Programming Language and Cooperative Work, Query processing and Optimization, Data Privacy and Security, Temporal, Spatial, and High Dimensions Databases, Semantic Web and Ontologies.
650 0 _aComputer science.
650 0 _aComputer software.
650 0 _aLogic design.
650 0 _aArtificial intelligence.
650 1 4 _aComputer Science.
650 2 4 _aAlgorithm Analysis and Problem Complexity.
650 2 4 _aMathematical Logic and Formal Languages.
650 2 4 _aLogics and Meanings of Programs.
650 2 4 _aArtificial Intelligence (incl. Robotics).
650 2 4 _aProgramming Languages, Compilers, Interpreters.
650 2 4 _aComputation by Abstract Devices.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783642153952
830 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v6308
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-642-15396-9
912 _aZDB-2-SCS
912 _aZDB-2-LNC
999 _c112636
_d112636