Login / Signup
Grammatical Inference as a Satisfiability Modulo Theories Problem.
Rick Smetsers
Published in:
CoRR (2017)
Keyphrases
</>
grammatical inference
satisfiability modulo theories
modulo theories
answer set programming
inductive inference
sat solvers
boolean variables
regular languages
context free grammars
language acquisition
search space
computational models
biological sequences