Towards String Support in JayHorn (Competition Contribution).

Ali Shamakhi Hossein Hojjat Philipp Rümmer

Published in: TACAS (2) (2021)

Keyphrases

decision support
support systems
neural network
knowledge management
databases
learning algorithm
decision making
website
clustering algorithm
data structure
multi agent systems
user interface
end users
pattern matching
string matching