000 06898nam a22006135i 4500
001 978-3-540-85958-1
003 DE-He213
005 20240730190857.0
007 cr nn 008mamaa
008 100301s2008 gw | s |||| 0|eng d
020 _a9783540859581
_9978-3-540-85958-1
024 7 _a10.1007/978-3-540-85958-1
_2doi
050 4 _aQA76.76.C65
072 7 _aUMC
_2bicssc
072 7 _aCOM010000
_2bisacsh
072 7 _aUMC
_2thema
082 0 4 _a005.45
_223
245 1 0 _aPrinciples and Practice of Constraint Programming
_h[electronic resource] :
_b14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008, Proceedings /
_cedited by Peter J. Stuckey.
250 _a1st ed. 2008.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2008.
300 _aXVII, 648 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5202
505 0 _aInvited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers -- A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine -- Planning and Scheduling the Operation of a Very Large Oil Pipeline Network -- Search Strategies for Rectangle Packing -- Solving a Telecommunications Feature Subscription Configuration Problem -- Protein Structure Prediction with Large Neighborhood Constraint Programming Search -- An Application of Constraint Programming to Superblock Instruction Scheduling -- Research Track Long Papers -- Classes of Submodular Constraints Expressible by Graph Cuts -- Optimization of Simple Tabular Reduction for Table Constraints -- Universal Booleanization of Constraint Models -- Flow-Based Propagators for the SEQUENCE and Related Global Constraints -- Guiding Search in QCSP?+? with Back-Propagation -- A New Framework for Sharp and Efficient Resolution of NCSP with Manifolds of Solutions -- A Branch and Bound Algorithm for Numerical MAX-CSP -- A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules -- Cost-Based Domain Filtering for Stochastic Constraint Programming -- Dichotomic Search Protocols for Constrained Optimization -- Length-Lex Bounds Consistency for Knapsack Constraints -- A Framework for Hybrid Tractability Results in Boolean Weighted Constraint Satisfaction Problems -- From High Girth Graphs to Hard Instances -- Switching among Non-Weighting, Clause Weighting, and Variable Weighting in Local Search for SAT -- CPBPV: A Constraint-Programming Framework for Bounded Program Verification -- Exploiting Common Subexpressions in Numerical CSPs -- A Soft Constraint of Equality: Complexity and Approximability -- Structural Tractability of Propagated Constraints -- Connecting ABTwith Arc Consistency -- Elicitation Strategies for Fuzzy Constraint Problems with Missing Preferences: Algorithms and Experimental Studies -- Reformulating Positive Table Constraints Using Functional Dependencies -- Relaxations for Compiled Over-Constrained Problems -- Approximate Compilation of Constraints into Multivalued Decision Diagrams -- Quantified Constraint Optimization -- Exploiting Decomposition in Constraint Optimization Problems -- A Coinduction Rule for Entailment of Recursively Defined Properties -- Maintaining Generalized Arc Consistency on Ad Hoc r-Ary Constraints -- Research Track Short Papers -- Perfect Constraints Are Tractable -- Efficiently Solving Problems Where the Solutions Form a Group -- Approximate Solution Sampling (and Counting) on AND/OR Spaces -- Model Restarts for Structural Symmetry Breaking -- An Elimination Algorithm for Functional Constraints -- Crossword Puzzles as a Constraint Problem -- Recent Hybrid Techniques for the Multi-Knapsack Problem -- Edge Matching Puzzles as Hard SAT/CSP Benchmarks -- Test Strategy Generation Using Quantified CSPs -- Perfect Derived Propagators -- Refined Bounds for Instance-Based Search Complexity of Counting and Other #P Problems -- Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation -- Semi-automatic Generation of CHR Solvers for Global Constraints -- Stochastic Local Search for the Optimal Winner Determination Problem in Combinatorial Auctions -- Revisiting the Upper Bounding Process in a Safe Branch and Bound Algorithm -- Computing All Optimal Solutions in Satisfiability Problems with Preferences -- On the Efficiency of Impact Based Heuristics -- Probabilistically Estimating Backbones and Variable Bias: Experimental Overview -- A New Empirical Study of Weak Backdoors -- Adding Search to Zinc -- Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms -- Search Space Reduction for Constraint Optimization Problems -- Engineering Stochastic Local Search for the Low Autocorrelation Binary Sequence Problem.
520 _aThis book constitutes the refereed proceedings of the 14th International Conference on Principles and Practice of Constraint Programming, CP 2008, Sydney, Australia, September, 2008. The 27 revised full papers and 23 revised short papers presented together with 6 application papers and the abstracts of one invited lecture were carefully reviewed and selected from 120 submissions. All current issues of computing with constraints are addressed, ranging from methodological and foundational aspects - using algorithms, environments, languages, models and systems - to solving real-world problems in various application fields.
650 0 _aCompilers (Computer programs).
_93350
650 0 _aComputer programming.
_94169
650 0 _aArtificial intelligence.
_93407
650 0 _aComputer science.
_99832
650 0 _aMachine theory.
_9144281
650 0 _aInformation technology
_xManagement.
_95368
650 1 4 _aCompilers and Interpreters.
_931853
650 2 4 _aProgramming Techniques.
_9144282
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aComputer Science Logic and Foundations of Programming.
_942203
650 2 4 _aFormal Languages and Automata Theory.
_9144283
650 2 4 _aComputer Application in Administrative Data Processing.
_931588
700 1 _aStuckey, Peter J.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9144284
710 2 _aSpringerLink (Online service)
_9144285
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540859574
776 0 8 _iPrinted edition:
_z9783540873839
830 0 _aProgramming and Software Engineering,
_x2945-9168 ;
_v5202
_9144286
856 4 0 _uhttps://doi.org/10.1007/978-3-540-85958-1
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c93495
_d93495