A Universal Parallel SAT Checking Kernel.
Wolfgang BlochingerCarsten SinzWolfgang KüchlinPublished in: PDPTA (2003)
Keyphrases
- kernel function
- parallel processing
- kernel methods
- satisfiability problem
- shared memory
- feature space
- boolean satisfiability
- mutual subspace method
- satisfiability testing
- convolution kernel
- kernel learning
- sat solvers
- search algorithm
- neural network
- gaussian processes
- computer architecture
- sat problem
- search strategies
- distributed memory
- parallel programming
- consistency checking
- kernel regression
- evolutionary algorithm
- data sets