Login / Signup
A Decision Procedure for String Logic with Equations, Regular Membership and Length Constraints.
Quang Loc Le
Published in:
CoRR (2016)
Keyphrases
</>
decision making
finite alphabet
arbitrary length
proof procedure
alphabet size
decision makers
pattern matching
constraint programming
edit distance
decision variables
data structure
logic programming
search procedure
mixed integer program