the Eleventhinternationalconference on the principles and practice ofconstraintprogramming (CP 2005) was held in Sitges (Barcelona), Spain, October 1-5, 2005. We arepleased to dedicate this special issue, arising f...
the Eleventhinternationalconference on the principles and practice ofconstraintprogramming (CP 2005) was held in Sitges (Barcelona), Spain, October 1-5, 2005. We arepleased to dedicate this special issue, arising from CP 2005, to Eugene C. Freuder. At theconference a session was devoted to honouring Gene on the occasion of his 60th birthday. Severalguests gave short statements of both a professional and personal nature, while others sent messagesthat were read out on their behalf. In addition to ourselves, Professor David Waltz (ColumbiaUniversity, USA) was present to deliver a very personal perspective on Gene's impact on him and onthe field of constraints. Other statements were read from Professor Boi Faltings (Swiss FederalInstitute of Technology, Switzerland), Professor Alan Mackworth (University of British Columbia,Canada) and Professor Patrick Winston (Massachusetts Institute of Technology, USA). In this issue wehave included editorials from both David Waltz and Alan Mackworth.
We describe an optimization application in the context of steel manufacturing, to design and schedule batches for annealing furnaces. Our solution approach uses a two-phase decomposition. the first phase groups togeth...
详细信息
ISBN:
(纸本)9783319661582;9783319661575
We describe an optimization application in the context of steel manufacturing, to design and schedule batches for annealing furnaces. Our solution approach uses a two-phase decomposition. the first phase groups together orders into batches using a mixed-integer linear programming model. the second phase assigns the batches to furnaces and schedules them over time, using constraintprogramming. Our solution has been developed for operational use in two plants of a steel manufacturer in North America.
constraint propagation solvers interleave propagation (removing impossible values from variables domains) with search. Propagation is performed by executing propagators (removing values) implementing constraints (defi...
详细信息
Symmetry in constraint problems can be exploited to greatly improve search performance. A form of symmetry that has been the subject of considerable research is value interchangeability. Automatically detecting full i...
详细信息
ISBN:
(纸本)3540232419
Symmetry in constraint problems can be exploited to greatly improve search performance. A form of symmetry that has been the subject of considerable research is value interchangeability. Automatically detecting full interchangeability is thought to be intractable, so research has focused on either discovery of local interchangeability or programmer knowledge of full interchangeability. this paper shows that full dynamic substitutability can be broken in a CSP by reformulating it as a SAT problem. No analysis is necessary, space requirements are modest, solutions are collected into Cartesian products, and unit propagation enforces forward checking on the CSP. In experiments on unsatisfiable problems, better results are obtained than with standard SAT encodings.
We introduce new CP models for the many-to-many stable matching problem. We use the notion of rotation to give a novel encoding that is linear in the input size of the problem. We give extra filtering rules to maintai...
详细信息
ISBN:
(纸本)9783319661582;9783319661575
We introduce new CP models for the many-to-many stable matching problem. We use the notion of rotation to give a novel encoding that is linear in the input size of the problem. We give extra filtering rules to maintain arc consistency in quadratic time. Our experimental study on hard instances of sex-equal and balanced stable matching shows the efficiency of one of our propositions as compared withthe state-of-the-art constraintprogramming approach.
this paper describes an approach to the methodology of answer set programmingthat can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule o...
详细信息
this paper describes an approach to the methodology of answer set programmingthat can facilitate the design of encodings that are easy to understand and provably correct. Under this approach, after appending a rule or a small group of rules to the emerging program, we include a comment that states what has been "achieved" so far. this strategy allows us to set out our understanding of the design of the program by describing the roles of small parts of the program in a mathematically precise way.
Difference constraints of the form x - y ≤ d are well studied, with efficient algorithms for satisfaction and implication, because of their connection to shortest paths. Finite domain propagation algorithms however d...
详细信息
constraint handling rules provide descriptions for constraint solvers. However, they fall short when those constraints specify some binding structure, like higher-rank types in a constraint-based type inference algori...
详细信息
constraint handling rules provide descriptions for constraint solvers. However, they fall short when those constraints specify some binding structure, like higher-rank types in a constraint-based type inference algorithm. In this paper, the term syntax of constraints is replaced by lambda-tree syntax, in which binding is explicit, and a new del generic quantifier is introduced, which is used to create new fresh constants.
At the first PPCP conference in 1995, I was honored to be one of the invited speakers. Twenty conferences later, much has changed in the computational *** have seen the penetration of the Internet in every aspect of h...
ISBN:
(纸本)9783319104287;9783319104270
At the first PPCP conference in 1995, I was honored to be one of the invited speakers. Twenty conferences later, much has changed in the computational *** have seen the penetration of the Internet in every aspect of human life; the establishment of the multi-core era; the arrival of petaflop high performance computing; the rise of big data, analytics and machine learning; and the emergence of the planet-wide computer (the “cloud-.
暂无评论