The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
This leads to polynomial- time algorithms for computing globally consistent labelings for a large class of constraint satisfaction problems with continuous variables.” 90C Mathematical programming 98m: ... “Previous work has shown that when constraints are convex and binary, path-consistency is sufficient to ensure global consistency. ...
J.UCS The Journal of Universal Computer Science
This paper presents results from parallelizing constraint satisfaction in a special application | the algorithm for qualitative simulation QSim Kuipers 94 . ... A parallel-agent based strategy PAB is used to solve the constraint satisfaction problem CSP. ... Parallel Constraint Satisfaction Existing Algorithms Many parallel algorithms for constraint satisfaction are known in literature. ...doi:10.1007/978-3-642-80350-5_68 fatcat:gs7vyzgajng7ncihvovc37btoy
Lecture Notes in Computer Science
We also present new algorithms for solving Distributed Maximal Constraint Satisfaction Problems (DM-CSPs), which belong to an important class of DPCSP. ... This paper provides the Distributed Partial Constraint Satisfaction Problem (DPCSP) as a new framework for dealing with over-constrained situations. ... Conclusions We h a ve presented the distributed partial constraint satisfaction problem as a new framework for dealing with over-constrained distributed CSPs. ...doi:10.1007/bfb0017442 fatcat:ipnnmyy5abhnloznmkjtsxhfry
for local consistency in constraint networks.” 91h:68079 68Q25 68P25 90C10 Kelly, J. ... Frieze (1-CMU) 91h:68078 68Q25 68T30 Kasif, Simon (1-JHOP-D) On the parallel complexity of discrete relaxation in constraint satisfaction networks. Artificial Intelligence 45 (1990), no. 3, 275-286. ...
I will identify some properties of linguistic constraints which allow this problem to be solved efficiently using constraint satisfaction algorithms. ... Path consistency can be generalized to paths of arbitrary length. ...doi:10.3115/981344.981400 dblp:conf/acl/Martin91 fatcat:6kx3xadcozg4xotu2sm7cj57u4
Thus, the propagating rules and the algorithms of 3-and path-consistency are studied. ... After building a matrix method to deal with temporal reasoning problems, we develop basic techniques for applying the matrix method to constraint satisfaction in this paper. ... We would like to thank the anonymous reviewers for their good comments on this paper. ...doi:10.1080/713827103 fatcat:62wvpyexkvhftkxixt4k5h6rlq
A sound and complete algorithm for consistency checking and for deriving a solution is presented. ... Binary vs. non-binary constraints There are two well known transformations from non-binary constraints to binary constraints applicable to constraint satisfaction problems (CSPs) with finite domains: the ... We provide a simple, automatic method for checking the 1-independence property-this method is applicable whenever the consistency of the constraints under consideration can be decided by path-consistency ...doi:10.1016/s0004-3702(02)00281-3 fatcat:6gorcgplazbgtpkw4sdr7oajwa
Lecture Notes in Computer Science
In this work, we present a Fuzzy Constraint Networks model for discrete domains, which generalizes the Disjunctive Fuzzy Temporal Constraint Networks model for temporal reasoning, and we propose the use ... After a separate empirical evaluation process of both techniques, a combined evaluation process over the same problem repository has been carried out, finding that series-parallel problems practically ... Fig. 1 . 1 Example of series-parallel network Fig. 2 . 2 Example of non series-parallel networkThe proposed algorithm for checking if a network is series-parallel (a variant of the algorithm proposed ...doi:10.1007/3-540-36131-6_28 fatcat:5h674ijutbbglcblmrsg72f7uq
A novel approach for the integration of evolution programs and constraint-solving techniques over finite domains is presented. ... In this approach, genetic operators are based on an arc-consistency algorithm, and chromosomes are arc-consistent portions of the search space of the problem. ... Fogel, for the careful reading and comments that improved the presentation of this paper. ...doi:10.1109/4235.887235 fatcat:epxxfudgjnf55hq5xrvoqcxyli
The central part of the paper is dedicated to the description of main constraint satisfaction techniques and industrial applications. ... Constraint programming (CP) is an emergent software technology for declarative description and effective solving of large, particularly combinatorial, problems especially in areas of planning and scheduling ... Therefore path consistency algorithms can work with triples of variables (paths of length 2). ...doi:10.1145/242224.242304 fatcat:uugoyii6vrd4jhabyqi3jw6qcu
Lecture Notes in Computer Science
The task is to find a tree structure satisfying these constraints. Our algorithm constructs such a solution in time O(m 2 ) where m is the number of constraints. ... Pure dominance constraints partially describe unlabeled rooted trees. For arbitrary pairs of nodes they specify sets of admissible relative positions in a tree. ... We want to thank Denys Duchier and Joachim Niehren for pointing us to the constraint problem, and an anonymous referee for his usefull remarks. ...doi:10.1007/3-540-45841-7_23 fatcat:x2i5cgmwlbey7gplr4362vikgy
This paper presents an algorithm that achieves hyper-arc consistency for the soft alldifferent constraint. To this end, we prove and exploit the equivalence with a minimum-cost flow problem. ... Consistency of the constraint can be checked in O(nm) time, and hyper-arc consistency is achieved in O(m) time, where n is the number of variables involved and m is the sum of the cardinalities of the ... Acknowledgements Many thanks to Bert Gerards for valuable comments. Thanks also go to Sebastian Brand for fruitful discussion. ...arXiv:cs/0407043v1 fatcat:iystekerhbclxe23y4xtmiaifu
Summary: “We discuss how better arc consistency algorithms for constraint satisfaction can be developed by exploiting parallelism and domain-specific problem characteristics. ... A massively parallel algorithm for arc consistency is given, expressed as a digital circuit. ...
In this study, a parallel implementation of a multiobjective optimization approach based on both genetic algorithms and fuzzy decision making to manage unscheduled flows is presented. ... Two different cases for some parameters of GA are considered to see the power of parallel computation technique. Then the simulation results are presented. ... However, using the proposed method, one can find a feasible solution that maximizes the satisfaction degree. Once the problem is formulated, we solve it using parallel genetic algorithms. ...doi:10.1155/2012/376291 fatcat:webosjp6ezeghmh23rlycvuqtu
This paper is a retrospective account of some of the developments leading up to, and ensuing from, the analysis of the complexity of some polynomial network consistency algorithms for constraint satisfaction ... Freuder, The complexity of constraint satisfaction revisited, Artificial Intelligence 59 (1993) 57-62. ... Conclusion The development of constraint satisfaction algorithms was originally motivated by concerns for efficiency. ...doi:10.1016/0004-3702(93)90170-g fatcat:q6o4666cabedzdqfljt5hbbq3u
« Previous Showing results 1 — 15 out of 20,718 results