/
Browsing by Subject Constraint solving
Showing results 1 to 6 of 6
Issue Date | Title | Author(s) | 2017 | Constraint Solving on Hybrid Systems | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
2018 | Constraint Solving on Hybrid Systems | Roque, Pedro; Pedro, Vasco |
3-Jul-2020 | Contraint solving on massively parallel systems | Roque, Pedro Miguel da Silva |
Apr-2017 | Enlisting GPU Power for Constraint Solving | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
Sep-2016 | Load balancing for constraint solving with GPUs | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
2016 | Towards a Multi-device Constraints Solver | Roque, Pedro; Pedro, Vasco; Abreu, Salvador |
Showing results 1 to 6 of 6
|