Login / Signup
String constraints with concatenation and transducers solved efficiently.
Lukás Holík
Petr Janku
Anthony W. Lin
Philipp Rümmer
Tomás Vojnar
Published in:
Proc. ACM Program. Lang. (2018)
Keyphrases
</>
regular expressions
prune the search space
finite automata
information retrieval
query language
edit distance
data structure
real time
computer vision
information systems
np complete
pattern matching
constraint satisfaction
finite state machines
global constraints
integer program