Keyphrases
- theorem proving
- consequence finding
- finite automata
- cellular automata
- low resolution
- high resolution
- data sets
- finite state
- reinforcement learning
- theorem prover
- sampling rate
- decision procedures
- database
- conflict detection
- multiresolution
- expert systems
- natural language
- regular expressions
- multiscale
- information systems
- artificial intelligence
- formal proofs
- lattice gas