PhD - Modern Techniques for Constraint Solving: The CaSPER Experience

Authors

Post-Graduation Supervisor: Pedro Barahona
Post-Graduation by: Marco Correia