Register Automata with Extrema Constraints, and an Application to Two-Variable Logic.
Szymon TorunczykThomas ZeumePublished in: Log. Methods Comput. Sci. (2022)
Keyphrases
- automata theoretic
- multiscale
- constraint satisfaction
- scale space
- logic programming
- cellular automata
- constraint language
- automated reasoning
- constrained optimization
- neural network
- derivation rules
- linear constraints
- finite state machines
- constraint programming
- continuous variables
- search space
- computational properties
- fixed point
- lattice gas
- markov chain
- image analysis