Albumin
发表于 2025-3-30 10:26:48
Modeling the Regular Constraint with Integer Programming,ress with mixed integer programming (MIP), while in constraint programming (CP), the global constraint . easily represents this kind of substructure with deterministic finite automata (DFA). In this paper, we use DFAs and the associated layered graph structure built for the . constraint consistency
APO
发表于 2025-3-30 15:15:50
http://reply.papertrans.cn/47/4689/468822/468822_52.png
condemn
发表于 2025-3-30 16:43:26
Eliminating Redundant Clauses in SAT Instances,satisfiability provers. Since testing whether a SAT instance does not contain any redundant clause is NP-complete, a logically incomplete but polynomial-time procedure to remove redundant clauses is proposed as a pre-treatment of SAT solvers. It relies on the use of the linear-time unit propagation
Indurate
发表于 2025-3-30 22:15:06
YIELDS: A Yet Improved Limited Discrepancy Search for CSPs,indicated in its name, YIELDS is an improved version of Limited Discrepancy Search (LDS). It integrates constraint propagation and variable order learning. The learning scheme, which is the main contribution of this paper, takes benefit from failures encountered during search in order to enhance the
DUST
发表于 2025-3-31 03:18:38
A Global Constraint for Total Weighted Completion Time,onstraint, an .(..) algorithm is proposed, which makes use of the preemptive mean busy time relaxation of the scheduling problem. The solution to this problem is used to test if an activity can start at each start time in its domain in solutions that respect the upper bound on the cost of the schedu
Patrimony
发表于 2025-3-31 06:02:10
Computing Tight Time Windows for RCPSPWET with the Primal-Dual Method,temporal constraints. Namely, we modify the Primal-Dual algorithm for solving the maximum-cost flow problem in a network to deduce tight time windows for activities with respect to a finite upper bound on the optimal objective function value. We compare our method to the only exact method in the lit
DIKE
发表于 2025-3-31 11:01:27
Necessary Condition for Path Partitioning Constraints,up in a given subset of nodes in .. This article provides a necessary condition for the . node-disjoint paths problem which combines (1) the structure of the reduced graph associated with ., (2) the structure of each strongly connected component of . with respect to dominance relation between nodes,
Endearing
发表于 2025-3-31 15:50:17
http://reply.papertrans.cn/47/4689/468822/468822_58.png
instate
发表于 2025-3-31 20:21:03
Best-First AND/OR Search for 0/1 Integer Programming,itivity to the structure of the model, which can translate into exponential time savings for search algorithms. In this paper we introduce an AND/OR search algorithm that explores a context-minimal AND/OR search graph in a . manner for solving 0/1 Integer Linear Programs (0/1 ILP). We also extend to
宽宏大量
发表于 2025-3-31 22:45:59
http://reply.papertrans.cn/47/4689/468822/468822_60.png