PhD - SAT Encodings of Finite CSPs

Authors

Post-Graduation Supervisor: Pedro Barahona
Post-Graduation by: Nguyen Van Hau
Post-Graduation Supervisor: Steffen Holldobler