PhD Theses

The ACP wants to make it easier for the constraint programming community to promote, archive and find the research that is done by PhD students in the field. If you want to add your PhD thesis to our database, please log in with your ACP account and go to our thesis submission form.

Jeremias Berg : Solving Optimization Problems via Maximum Satisfiability : Encodings and Re-Encodings
June 12, 2018
Maxim Shishmarev : Effective Profiling of Tree Search in Constraint Programming
April 16, 2018
Gabriel Hjort Blindell (now Gabriel Hjort Åkerlund) : Universal Instruction Selection
April 6, 2018
Kuldeep S. Meel : Constrained Counting and Sampling: Bridging the Gap between Theory and Practice
December 31, 2017
Clément Viricel : Contributions au développement d’outils computationnels de design de protéines : méthodes et algorithmes de comptage avec garantie
December 18, 2017
Maria Andreina Francisco Rodriguez : Analysis, Synthesis and Application of Automaton-Based Constraint Descriptions
December 15, 2017
Kevin Leo : Making the Most of Structure in Constraint Models
July 26, 2017
Ciaran McCreesh : Solving Hard Subgraph Problems in Parallel
July 25, 2017
HOUNDJI Vinasetan Ratheil : Cost-based filtering algorithms for a capacitated lot sizing problem and the constrained arborescence problem
May 31, 2017
Houndji Vinasetan Ratheil : Cost-based filtering algorithms for a Capacitated Lot Sizing Problem and the Constrained Arborescence Problem
May 31, 2017

Pages

Subscribe to PhD Theses