the proceedings contain 83 papers. the special focus in this conference is on Innovative Applications and Posters. the topics include: Reduced cost-based ranking for generating promising subproblems;integrating constr...
ISBN:
(纸本)3540441204
the proceedings contain 83 papers. the special focus in this conference is on Innovative Applications and Posters. the topics include: Reduced cost-based ranking for generating promising subproblems;integrating constraint and integer programming for the orthogonal latin squares problem;on optimal correction of inconsistent linear constraints;temporal planning through mixed integer programming;a new multi-resource cumulatives constraint with negative heights;global constraints for lexicographic orderings;a global filtering algorithm for handling systems of quadratic equations and inequations;amplification of search performance through randomization of heuristics;computing the envelope for stepwise-constant resource allocations;local probing applied to scheduling;recovering and exploiting structural knowledge from CNF formulas;towards a symmetric treatment of satisfaction and conflicts in quantified boolean formula evaluation;accelerating random walks;scaling and probabilistic smoothing;learning and solving soft temporal constraints;opportunistic specialization in russian doll search;range-based algorithm for max-CSP;resolution complexity of random constraints;constraint satisfaction, bounded treewidth, and finite-variable logics;determining the number of solutions to binary CSP instances;consistency checking for qualitative spatial reasoning with cardinal directions;open constraint satisfaction;arc-consistency for quantified constraints;secure distributed constraint satisfaction;partial symmetry breaking;symmetry breaking revisited;breaking row and column symmetries in matrix models;inferring constraint types in constraintprogramming;controlling embedded systems by reasoning about hidden state;the adaptive constraint engine;indexical-based solver learning;restart policies with dependence among runs and on the edge of planning and scheduling.
this book constitutes the refereed proceedings of the 8th international conference on principles and practice of constraint programming, cp 2002, held in Ithaca, NY, USA in September 2002.;the 38 revised full papers a...
详细信息
ISBN:
(数字)9783540461357
ISBN:
(纸本)9783540441205
this book constitutes the refereed proceedings of the 8th international conference on principles and practice of constraint programming, cp 2002, held in Ithaca, NY, USA in September 2002.;the 38 revised full papers and 6 innovative application papers as well as the 14 short papers presented toghether with 25 abstracts from contributions to the doctoral program were carefully reviewed and selected from 146 submissions. All current issues in constraint processing are addressed, ranging from theoretical and foundational issues to application in various fields.
Most work in constraint satisfaction has concentrated on computing a solution to a given problem. In practice, it often happens that an existing solution needs to be modified to satisfy additional criteria or changes ...
详细信息
We consider the problem of Mutually Orthogonal Latin Squares and propose two algorithms which integrate Integer programming (IP) and constraintprogramming (cp). their behaviour is examined and compared to traditional...
详细信息
Test data generation is the most labor-intensive work for software testing. As a result, automatic test case generation is a way forward. It is typical to denote the conditions of searching the test input that can cau...
详细信息
暂无评论