Keyphrases
- general purpose
- special purpose
- domain specific
- simulation model
- logical framework
- parallel computation
- graphics processing units
- parallel implementation
- parallel machines
- asynchronous cellular automata
- identical machines
- multi valued
- automated reasoning
- parallel processing
- simulation study
- programming language
- simulation environment
- mathematical models
- logic programming
- processing units
- simulation models
- np hard
- parallel execution
- predicate logic
- evolutionary algorithm
- proof theory
- queuing systems
- neural network