.png){kind=icon}
Return
Improved bit-based filtering algorithm for regular constraint
.png){kind=icon}
PRE
AI
DOI：10.1016/j.eswa.2023.121259.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
In this paper, we propose an improved filtering algorithm for regular constraint, which demand that the sequence of all assignments for variables can be accepted by a Deterministic Finite Automaton (DFA) or a regular language. Regular constraint is a type of global constraint in Constraint Satisfaction Problems (CSPs) and a natural expression of deterministic patterns in planning and decision making, and it utilizes the properties of DFA to pre-specify the optional paths for multiple variables. Thus, it is sensible to improve the filtering algorithm that enforces Generalized Arc Consistency (GAC) for regular constraint in order to minimize memory and time consumption. With the goal in mind, we encode DFA using bit vectors and then devise a bit operations algorithm to maintain the domain consistency for regular constraint. Lastly, we carry out an experiment to compare to the state-of-the-art filtering algorithm. The experimental results demonstrates that the proposed algorithm significantly improves both memory and time.
Keywords:
Constraint satisfaction problems
Regular constraint
Generalized arc consistency
Bit vector
Journal
IF:
7.5
Papers:
2.9W
Citations:
10.2W
Organization
Cited Papers
Well Location in Capture Zone Design Using Simulation and Optimization Techniques.png)
Groundwater
GroundwaterIF0
PREAI
ShareSave
ShareSaveImproved auto control ant colony optimization using lazy ant approach for grid scheduling problem
PREAI
ShareSaveShareSaveShareSaveUV photo-grafting of hydrophilic monomers onto the surface of nano-porous PES membranes for improving surface propertiesDesalination
DesalinationIF0
PREAI
ShareSave
View more