MSc - Local Search for Unsatisable Propositional Formulae

Authors

Post-Graduation Jury: Carla Ferreira
Post-Graduation by: David Miguel Neves Pereira
Post-Graduation Jury: Ana Paiva
Post-Graduation Jury: Ankica Barisic
Post-Graduation Jury: Vasco Manquinho
Post-Graduation Supervisor: Ankica Barisic