Generating Linear Invariants for a Conjunction of Automata Constraints.

Ekaterina Arafailova Nicolas Beldiceanu Helmut Simonis

Published in: CP (2017)

Keyphrases

linear constraints
equality constraints
closed form
closed form solutions
finite state
linear inequalities
neural network
cellular automata
constraint programming
tree automata