Login / Signup
A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings.
Tianyi Liang
Nestan Tsiskaridze
Andrew Reynolds
Cesare Tinelli
Clark W. Barrett
Published in:
FroCos (2015)
Keyphrases
</>
finite alphabet
decision makers
constraint satisfaction
decision problems
mixed integer program
regular languages
string matching
data mining
decision making
constraint satisfaction problems
constraint programming
decision process
cardinality constraints