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.

Archive

DateTitleAuthor
August 16, 2024Peel and Bound: Solving Discrete Optimization Problems with Decision Diagrams and SeparationIsaac Rudich
March 22, 2024Learning SAT Encodings for Constraint Satisfaction ProblemsFelix Ulrich-Oltean
December 14, 2023Resource-constrained multi-project scheduling problem: taxonomy, variants, and approachesMariam Gómez Sánchez
June 07, 2023Generating Optimized and Secure Binary CodeRodothea Myrsini Tsoupidi
February 08, 2023Advanced Modelling and Search Techniques for Routing and Scheduling ProblemsCharles Thomas
December 02, 2022Decomposition-based Matheuristics for Green Vehicle Routing ProblemsAlejandro Fernández Gil
November 24, 2022Block-Coordinate Descent and Local Consistencies in Linear ProgrammingTomáš Dlask
September 23, 2022High-Level Modelling and Solving for Online, Real-Time, and Multiagent Combinatorial OptimisationAlexander Ek
July 01, 2022Formalizing Methods for Propositional Model Counting and EnumerationSibylle Möhle
September 23, 2021On the use of tasks ordering to solve scheduling problems with constraint programmingArthur Godet
September 08, 2021Floating-point numbers round-off error analysis by constraint programmingRémy Garcia
August 31, 2021The extensional constraintHélène Verhaeghe
July 08, 2021Solving Scheduling Problems under DisruptionsAlexandre Lemos
June 16, 2021Constraint Programming Approaches to Electric Vehicle and Robot Routing ProblemsKyle E. C. Booth
April 23, 2021From Declarative Models to Local SearchGustav Björdal
March 01, 2021Optimization Methods Based on Decision Diagrams for Constraint Programming, AI Planning, and Mathematical ProgrammingMargarita Castro
July 15, 2019Scheduling Through Logic-Based ToolsJordi Coll Caballero
June 18, 2019Constraint-Based Multi-Objective Combinatorial OptimizationMiguel Terra-Neves
June 06, 2019Spacetime Programming: A Synchronous Language for Constraint SearchPierre Talbot
April 17, 2019Hybrid Optimization of Vehicle Routing ProblemsEdward Lam
November 12, 2018Soft Constraints in MiniBrass: Foundations and ApplicationsAlexander Schiendorfer
September 03, 2018Constraint-Based Register Allocation and Instruction SchedulingRoberto Castañeda Lozano
June 13, 2018Solving Optimization Problems via Maximum Satisfiability : Encodings and Re-EncodingsJeremias Berg
April 16, 2018Effective Profiling of Tree Search in Constraint ProgrammingMaxim Shishmarev
April 06, 2018Universal Instruction SelectionGabriel Hjort Blindell (now Gabriel Hjort Åkerlund)
December 31, 2017Constrained Counting and Sampling: Bridging the Gap between Theory and PracticeKuldeep S. Meel
December 18, 2017Contributions au développement d’outils computationnels de design de protéines : méthodes et algorithmes de comptage avec garantieClément Viricel
December 15, 2017Analysis, Synthesis and Application of Automaton-Based Constraint DescriptionsMaria Andreina Francisco Rodriguez
July 26, 2017Making the Most of Structure in Constraint ModelsKevin Leo
July 25, 2017Solving Hard Subgraph Problems in ParallelCiaran McCreesh
May 31, 2017Cost-based filtering algorithms for a capacitated lot sizing problem and the constrained arborescence problemHOUNDJI Vinasetan Ratheil
May 31, 2017Cost-based filtering algorithms for a Capacitated Lot Sizing Problem and the Constrained Arborescence ProblemHoundji Vinasetan Ratheil
December 07, 2016Harnessing Tractability in Constraint Satisfaction ProblemsClément Carbonnel
November 01, 2016New solving methods for constrained optimization problemsAmine Lamine
September 30, 2016Efficient algorithms to solve scheduling problems with a variety of optimization criteriaHAMED FAHIMI
May 14, 2016Towards Statistical Consistency for Stochastic Constraint ProgrammingImen Zghidi
April 21, 2016CDF-Intervals: A Probabilistic Interval Constraint Framework to Reason about Data with UncertaintyAya Saad
April 21, 2016CDF-intervals: a probabilistic interval constraint framework to reason about data with uncertaintyAya Saad
March 14, 2016Other Things Besides Number: Abstraction, Constraint Propagation, and String Variable TypesJoseph Scott
December 31, 2015Search and Coverage Path PlanningMichael Morin
December 11, 2015Combining techniques of Bounded Model Checking and Constraint Programming to aid for error localizationMohammed Bekkouche
June 04, 2015Portfolio Approaches in Constraint ProgrammingRoberto Amadini
May 19, 2015New Techniques for Discrete OptimizationDavid Bergman
May 13, 2015Search, propagation, and learning in sequencing and scheduling problemsMohamed Siala
March 13, 2015Constraint Programming for Wireless Sensor NetworksFarshid Hassani Bijarbooneh
January 24, 2015Transformations of representation in constraint satisfactionAndrás Z. Salamon
January 15, 2015Strong Consistencies for Weighted Constraint Satisfaction ProblemsThi Hong Hiep NGUYEN
December 01, 2014Towards Next Generation Sequential and Parallel SAT SolversNorbert Manthey
November 25, 2014Scaling DCOP algorithms for cooperative multi-agent coordinationMarc Pujol-Gonzalez
October 23, 2014On the use of graphs within constraint-programmingJean-Guillaume Fages
September 30, 2014Propagation techniques of resource constraint for cumulative schedulingRoger Kameugne
August 21, 2014A Unified Analytical Foundation for Constraint Handling RulesHariolf Betz
August 08, 2014Decision Diagrams for OptimizationAndre Augusto Cire
June 25, 2014Extensible Automated Constraint Modelling via Refinement of Abstract Problem SpecificationsÖzgür Akgün
May 01, 2014Extensible automated constraint modelling via refinement of abstract problem specificationsÖzgür Akgün
December 17, 2013Robustness and stability in dynamic constraint satisfaction problemsLaura Climent
December 16, 2013Applications of Matching Theory in Constraint ProgrammingRadosław Cymer
December 10, 2013Efficient Algorithms for Strong Local Consistencies and Adaptive Techniques in Constraint Satisfaction ProblemsAnastasia Paparrizou
September 09, 2013Parallel Search for Maximum SatisfiabilityRuben Martins
May 01, 2013Practical Tractability of CSPs by Higher Level Consistency and Tree DecompositionShant Karakashian
April 26, 2013Constraints for Membership in Formal Languages under Systematic Search and Stochastic Local SearchJun He
November 26, 2012Probabilistic Constraint ReasoningElsa Carvalho
June 20, 2012On Algorithm Selection, with an Application to Combinatorial Search ProblemsLars Kotthoff
May 27, 2012Efficient Search Procedures for Solving Combinatorial ProblemsSerdar Kadioglu
May 27, 2012Decision Support for Disaster Management Through Hybrid OptimizationCarleton Coffrin
May 16, 2012Instance-Specific Algorithm ConfigurationYuri Malitsky
May 10, 2012Constraints meet concurrencyJacopo Mauro
December 14, 2011Reformulation of Global ConstraintsNina Narodytska
October 01, 2011Improving combinatorial optimizationGeoffrey G Chu
September 09, 2011Shop and batch scheduling with constraintsArnaud Malapert
June 30, 2011Improving Scheduling by LearningAndreas Schutt
April 01, 2011On the Hybridization of Constraint Programming and Local Search Techniques: Models and Software ToolsRaffaele Cipriano
October 01, 2010Automatic Symmetry Detection and Dynamic Symmetry Breaking for Constraint ProgrammingChristopher Mears
July 01, 2010Automatic Design of Feistel Ciphers Using Constraint TechniquesVenkatesh Ramamoorthy
April 01, 2010Hybrid Methods for Resource Allocation and Scheduling Problems in Deterministic and Stochastic EnvironmentsMichele Lombardi
March 06, 2010The complexity and expressive power of valued constraintsStanislav Zivny
August 31, 2009Solving Balancing and Bin-Packing problems with Constraint ProgrammingPierre Schaus
January 29, 2009Constraint Propagation – Models, Techniques, ImplementationGuido Tack
December 11, 2008Constraint Programming for Optimization Under Uncertainty in Stochastic Inventory ControlRoberto Rossi
January 18, 2008Set Constraints for Local SearchMagnus Ågren (now Magnus Rattfeldt)
June 30, 2007Representations in Constraint ProgrammingChristopher Jefferson
April 20, 2007Robust Solutions for Constraint Satisfaction and Optimisation under UncertaintyEmmanuel Hebrard
October 21, 2006Efficient Propagators for Global ConstraintsClaude-Guy Quimper
June 01, 2004Reliable Constraint Reasoning with Uncertain DataNeil Yorke-Smith
August 02, 2002Asynchronously solving problems with privacy requirementsMarius-Calin Silaghi
January 06, 2002Asynchronously solving problems with privacy requirementsMarius-Calin Silaghi
December 24, 1987On the foundations of constraint logic programmingPeter J. Stuckey