Login / Signup
A decision procedure for string constraints with string/integer conversion and flat regular constraints.
Hao Wu
Yu-Fang Chen
Zhilin Wu
Bican Xia
Naijun Zhan
Published in:
Acta Informatica (2024)
Keyphrases
</>
pattern matching
constraint satisfaction
string matching
data structure
data mining
case study
co occurrence
decision makers
constraint programming
databases
artificial intelligence
decision making
edit distance
regular expressions
constrained optimization
context free grammars