PhD - Constraint Solving on Massively Parallel Systems

Authors

Post-Graduation Supervisor: Salvador Abreu
Post-Graduation Supervisor: Vasco Pedro
Post-Graduation by: Pedro Roque