Parallel propositional satisfiability checking with distributed dynamic learning.
Wolfgang BlochingerCarsten SinzWolfgang KüchlinPublished in: Parallel Comput. (2003)
Keyphrases
- learning algorithm
- learning process
- supervised learning
- cooperative
- online learning
- concept learning
- multi agent
- distributed systems
- knowledge acquisition
- neural network
- distributed learning
- elementary school
- parallel computing
- inductive inference
- learning scheme
- propositional logic
- parallel processing
- distributed environment