research
∙
08/04/2020
Modular Constraint Solver Cooperation via Abstract Interpretation
Cooperation among constraint solvers is difficult because different solv...
share
research
∙
06/13/2016
A Probabilistic-Based Model for Binary CSP
This work introduces a probabilistic-based model for binary CSP that pro...
research
∙
12/18/2012
Prediction of Parallel Speed-ups for Las Vegas Algorithms
We propose a probabilistic model for the parallel execution of Las Vegas...
research
∙
10/07/2009