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...
详细信息
We present a hybrid heuristic search algorithm for constraint satisfaction problems, which was proposed as a mixture of two basic approaches: local search and backtrack based search. One of its major advantages is int...
详细信息
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...
详细信息
the Adaptive constraint Engine (ACE) seeks to automate the application of constraintprogramming expertise and the extraction of domain-specific expertise. Under the aegis of FORR, an architecture for learning and pro...
详细信息
In an earlier paper we have shown, how one can successfully use constraint satisfaction techniques for proving and solving formulae in the first-order predicate language over the real numbers (i.e., real first order c...
详细信息
Conway’s game of Life provides interesting problems in which modelling issues in constraintprogramming can be explored. the problem of finding a maximum density stable pattern (‘still-life’) is discussed.A formula...
详细信息
We discuss how the use of constraintprogramming can help speed up a Column Generation process for the Tail Assignment problem. A generalized preprocessing technique based on constraint propagation is presented that c...
详细信息
Symmetries in constraint satisfaction problems (CSPs) areone of the difficulties that practitioners have to deal with. We present in this paper a new method based on the symmetries of decisions taken from the root of ...
详细信息
For NP-hard constraint satisfaction problems the existence of a feasible solution cannot be decided efficiently. Applying a tree search often results in the exploration of parts of the search space that do not contain...
详细信息
暂无评论