/
Browsing by Author Roque, Pedro
Showing results 1 to 8 of 8
Issue Date | Title | Author(s) | 2018 | Constraint Solving on Hybrid Systems | Roque, Pedro; Pedro, Vasco |
2017 | Constraint Solving on Hybrid Systems | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
Apr-2017 | Enlisting GPU Power for Constraint Solving | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
Nov-2018 | Improving Constraint Solving on Parallel Hybrid Systems | Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, Salvador |
Nov-2018 | Improving Constraint Solving on Parallel Hybrid Systems | Roque, Pedro; Pedro, Vasco; Diaz, Daniel; Abreu, Salvador |
Sep-2016 | Load balancing for constraint solving with GPUs | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
2015 | Solving Constraint Satisfaction Problems in GPUs | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
2016 | Towards a Multi-device Constraints Solver | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
Showing results 1 to 8 of 8
|