research
∙
07/18/2022
A Variant of Concurrent Constraint Programming on GPU
The number of cores on graphical computing units (GPUs) is reaching thou...
research
∙
08/04/2020
Modular Constraint Solver Cooperation via Abstract Interpretation
Cooperation among constraint solvers is difficult because different solv...
research
∙
07/25/2019