FDR3: a parallel refinement checker for CSP.
Thomas Gibson-RobinsonPhilip J. ArmstrongAlexandre BoulgakovA. W. RoscoePublished in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
- constraint satisfaction problems
- constraint satisfaction
- parallel processing
- constraint propagation
- parallel computation
- neural network
- machine learning
- constraint programming
- massively parallel
- refinement process
- constraint solving
- distributed memory machines
- databases
- false discovery rate
- parallel programming
- distributed memory
- shared memory