Login / Signup
Language Equation Solving via Boolean Automata Manipulation.
Wan-Hsuan Lin
Chia-Hsuan Su
Jie-Hong R. Jiang
Published in:
ICCAD (2022)
Keyphrases
</>
nonlinear equations
formal language theory
finite state machines
language learning
real valued
formal languages
algebraic equations
natural language
regular languages
knowledge base
specification language
database
genetic algorithm
evolutionary algorithm
cellular automata
context dependent