[
{
"onix": {
"RecordReference": "9783540202028",
"NotificationType": "03",
"ProductIdentifier": {
"ProductIDType": "15",
"IDValue": "9783540202028"
},
"DescriptiveDetail": {
"ProductComposition": "00",
"ProductForm": "BZ",
"Collection": {
"CollectionType": "10",
"TitleDetail": {
"TitleType": "01",
"TitleElement": [
{
"TitleElementLevel": "02",
"TitleText": {
"content": "Lecture notes in computer science"
}
}
]
}
},
"TitleDetail": {
"TitleType": "01",
"TitleElement": {
"TitleElementLevel": "01",
"TitleText": {
"collationkey": "",
"content": "Principles and practice of constraint programming - CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 : proceedings"
}
}
},
"Contributor": [
{
"SequenceNumber": "1",
"ContributorRole": [
"A01"
],
"PersonName": {
"content": "International Conference on Principles and Practice of Constraint Programming"
}
},
{
"SequenceNumber": "2",
"ContributorRole": [
"A01"
],
"PersonName": {
"content": "Rossi Francesca"
}
}
],
"Language": [
{
"LanguageRole": "01",
"LanguageCode": "jpn",
"CountryCode": "JP"
}
]
},
"CollateralDetail": {
"TextContent": [
{
"TextType": "03",
"ContentAudience": "00",
"Text": "This book constitutes the refereed proceedings of the 9th International Conference on Principles and Practice of Constraint Programming, CP 2003, held in Kinsale, Ireland in September/October 2003. The 48 revised full papers and 34 revised short papers presented together with 4 invited papers and 40 abstracts of contributions to the CP 2003 doctoral program were carefully reviewed and selected from 181 submissions. A wealth of recent results in computing with constraints is addressed ranging from foundational and methodological issues to solving real-world problems in a variety of application fields."
},
{
"TextType": "04",
"ContentAudience": "00",
"Text": "Invited Papers.- Ten Challenges Redux: Recent Progress in Propositional Reasoning and Search.- Automated Mechanism Design: A New Application Area for Search Algorithms.- Languages versus Packages for Constraint Problem Solving.- Constraint Patterns.- Best Paper.- Control Abstractions for Local Search.- Full Papers.- Improved Algorithms for Counting Solutions in Constraint Satisfaction Problems.- Boosting Chaff's Performance by Incorporating CSP Heuristics.- Efficient CNF Encoding of Boolean Cardinality Constraints.- A Two-Stage Hybrid Algorithm for Pickup and Delivery Vehicle Routing Problems with Time Windows.- Solving Finite Domain Constraint Hierarchies by Local Consistency and Tree Search.- hibiscus: A Constraint Programming Application to Staff Scheduling in Health Care.- Constraint-Based Optimization with the Minimax Decision Criterion.- An Algebraic Approach to Multi-sorted Constraints.- Periodic Constraint Satisfaction Problems: Polynomial-Time Algorithms.- Box Constraint Collections for Adhoc Constraints.- Propagation Redundancy in Redundant Modelling.- Soft Constraints: Complexity and Multimorphisms.- Constraint Satisfaction Differential Problems.- A Wealth of SAT Distributions with Planted Assignments.- Redundant Modeling for the QuasiGroup Completion Problem.- Open Constraint Optimization.- Constraints for Breaking More Row and Column Symmetries.- Generic SBDD Using Computational Group Theory.- Using Stochastic Local Search to Solve Quantified Boolean Formulae.- Solving Max-SAT as Weighted CSP.- Constraint Reasoning over Strings.- Tractability by Approximating Constraint Languages.- A Hybrid Constraint Programming and Semidefinite Programming Approach for the Stable Set Problem.- A Constraint-Aided Conceptual Design Environment for Autodesk Inventor.- Fast Bound Consistency for the Global Cardinality Constraint.- Propagating N-Ary Rigid-Body Constraints.- Solving 'Still Life' with Soft Constraints and Bucket Elimination.- Exploiting Multidirectionality in Coarse-Grained Arc Consistency Algorithms.- Local-Search Techniques for Propositional Logic Extended with Cardinality Constraints.- Discrepancy-Based Additive Bounding for the AllDifferent Constraint.- A Synthesis of Constraint Satisfaction and Constraint Solving.- Maintaining Longest Paths Incrementally.- Resolution and Constraint Satisfaction.- Generating High Quality Schedules for a Spacecraft Memory Downlink Problem.- Symmetry Breaking Using Stabilizers.- An Efficient Bounds Consistency Algorithm for the Global Cardinality Constraint.- Solving Existentially Quantified Constraints with One Equality and Arbitrarily Many Inequalities.- Using Constraint Programming to Solve the Maximum Clique Problem.- Greater Efficiency for Conditional Constraint Satisfaction.- Incremental Computation of Resource-Envelopes in Producer-Consumer Models.- Approximated Consistency for Knapsack Constraints.- Cost-Based Filtering for Shorter Path Constraints.- Bounded Backtracking for the Valued Constraint Satisfaction Problems.- Consistency and Propagation with Multiset Constraints: A Formal Viewpoint.- Pruning while Sweeping over Task Intervals.- Improving Backtrack Search for Solving the TCSP.- Certainty Closure.- Poster Papers.- clp(pdf(y)): Constraints for Probabilistic Reasoning in Logic Programming.- To Be or Not to Be ... a Global Constraint.- Constraint Programming for Modelling and Solving Modal Satisfiability.- Distributed Forward Checking.- A New Class of Binary CSPs for which Arc-Consistency Is a Decision Procedure.- Semi-automatic Modeling by Constraint Acquisition.- Structured vs. Unstructured Large Neighborhood Search: A Case Study on Job-Shop Scheduling Problems with Earliness and Tardiness Costs.- Using the Breakout Algorithm to Identify Hard and Unsolvable Subproblems.- Toy(FD): Sketch of Operational Semantics.- Scheduling in the Face of Uncertain Resource Consumption and Utility.- Supertree Construction with Constraint Programming.- (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.- Reduce and Assign: A Constraint Logic Programming and Local Search Integration Framework to Solve Combinatorial Search Problems.- A Canonicity Test for Configuration.- Improved Algorithms for Max-restricted Path Consistency.- CP-IP Techniques for the Bid Evaluation in Combinatorial Auctions.- A Two-Level Search Strategy for Packing Unequal Circles into a Circle Container.- Unrestricted Nogood Recording in CSP Search.- Constraints over Ontologies.- Using Constraints for Exploring Catalogs.- Intermediate (Learned) Consistencies.- Semi-independent Partitioning: A Method for Bounding the Solution to COP's.- Boosting as a Metaphor for Algorithm Design.- An Efficient Filtering Algorithm for Disjunction of Constraints.- INCOP: An Open Library for INcomplete Combinatorial OPtimization.- A Composition Algorithm for Very Hard Graph 3-Colorability Instances.- Efficient Representation of Discrete Sets for Constraint Programming.- Applying Interchangeability Techniques to the Distributed Breakout Algorithm.- Symmetry Breaking in Graceful Graphs.- Tree Local Search.- A SAT-Based Approach to Multiple Sequence Alignment.- Maintaining Dominance Consistency.- Terminating Decision Algorithms Optimally.- Scene Reconstruction Based on Constraints: Details on the Equation System Decomposition.- Doctoral Abstracts.- A New Approach to Solving SAT-Encoded Binary CSPs.- FeReRA: A Multi-agent Approach to Constraint Satisfaction.- Semantic Decomposition for Solving Distance Constraints.- Using Constraint Programming and Simulation for Execution Monitoring and On-Line Rescheduling with Uncertainty.- On the Enhancement of the Informed Backtracking Algorithm.- Extending CLP with Metaheuristics.- Self Configuring Constraint Programming Systems.- Interactive Tradeoff Generation.- Introducing esra, a Relational Language for Modelling Combinatorial Problems (Abstract).- Abstracting Constraints Using Constraints.- Sensitivity Analysis in CSPs.- Solution Stability in Constraint Satisfaction Problems.- distn: An Euclidean Distance Global Constraint.- Algorithmic Mechanism Design and Constraints.- Preference Constraints: New Global Soft Constraints Dedicated to Preference Binary Relations.- Optimising the Representation and Evaluation of Semiring Combination Constraints.- Symmetry Breaking Ordering Constraints.- Observation of Constraint Programs.- Search Programming.- Exploiting Microstructure in CSPs.- Using Case-Based Reasoning to Write Constraint Programs.- Reformulation Techniques for a Class of Permutation Problems.- NuSBDS: An Easy to Use Symmetry Breaking System.- Interactivity in Constraint Programming.- Identifying Inconsistent CSPs by Relaxation.- Useful Explanations.- Teacher and Learner Profiles for Constraint Acquisition.- Comparison of Symmetry Breaking Methods.- Improved Branch and Bound Algorithms for Max-2-SAT and Weighted Max-2-SAT.- Search for Mathematical Objects.- Explanations for Global Constraints.- Watching Clauses in Quantified Boolean Formulae.- Distributed Constraint-Based Railway Simulation.- Dynamic Step Size Adjustment in Iterative Deepening Search.- Learning Good Variable Orderings.- An Adaptive Controller for Real-Time Resolution of the Vehicle Routing Problem.- ?-Dynamic Controllability of Simple Temporal Problems with Preferences and Uncertainty.- Computing Explanations for Global Scheduling Constraints.- Restart Strategies: Analysis and Simulation.- OpenSolver: A Coordination-Enabled Abstract Branch-and-Prune Tree Search Engine."
}
]
},
"PublishingDetail": {
"Imprint": {
"ImprintIdentifier": [
{
"ImprintIDType": "19",
"IDValue": "540"
}
],
"ImprintName": "Springer"
},
"PublishingDate": [
{
"PublishingDateRole": "01",
"Date": ""
}
]
},
"ProductSupply": {
"MarketPublishingDetail": {
"MarketPublishingStatus": "00",
"MarketPublishingStatusNote": "1;"
},
"SupplyDetail": {
"ProductAvailability": "99"
}
}
},
"hanmoto": {
"datecreated": "2018-03-26 11:37:37",
"dateshuppan": "2003",
"datemodified": "2018-03-26 11:37:37"
},
"summary": {
"isbn": "9783540202028",
"title": "Principles and practice of constraint programming - CP 2003 : 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003 : proceedings",
"volume": "",
"series": "",
"publisher": "Springer",
"pubdate": "2003",
"cover": "",
"author": "InternationalConferenceonPrinciplesandPracticeofConstraintProgramming／著 ほか"
}
}
]