| Publication | Date of Publication | Type |
|---|
MiniCP: a lightweight solver for constraint programming
Mathematical Programming Computation | 2021-11-16 | Paper |
Spectral asymptotics for Metropolis algorithm on singular domains
(available as arXiv preprint) | 2021-04-16 | Paper |
| A counting-based approach to scalable micro-service deployment | 2019-10-14 | Paper |
| Influence of error on Hamming weights for ASCA | 2018-04-20 | Paper |
A microkernel architecture for constraint programming
Constraints | 2018-03-28 | Paper |
A decomposition-based implementation of search strategies
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Parallel composition of scheduling solvers
Integration of AI and OR Techniques in Constraint Programming | 2016-06-27 | Paper |
Estimating the ice thickness of mountain glaciers with a shape optimization algorithm using surface topography and mass-balance
Journal of Inverse and Ill-posed Problems | 2014-12-09 | Paper |
Estimating the ice thickness of mountain glaciers with an inverse approach using surface topography and mass-balance
Inverse Problems | 2013-04-26 | Paper |
The time complexity of \(A^*\) with approximate heuristics on multiple-solution search spaces
Journal of Artificial Intelligence Research | 2013-01-07 | Paper |
Transparent parallelization of constraint programming
INFORMS Journal on Computing | 2012-07-28 | Paper |
A modeling layer for constraint-programming libraries
INFORMS Journal on Computing | 2012-06-18 | Paper |
Optimal deployment of eventually-serializable data services
Annals of Operations Research | 2011-06-22 | Paper |
Maintaining longest paths incrementally
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Model-driven visualizations of constraint-based local search
Constraints | 2009-08-06 | Paper |
Parallel and distributed local search in COMET
Computers & Operations Research | 2009-04-03 | Paper |
Distributed Constraint-Based Local Search
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Parallel Local Search in Comet
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Differentiable Invariants
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Nondeterministic Control for Hybrid Search
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | Paper |
A simulated annealing approach to the traveling tournament problem
Journal of Scheduling | 2007-05-15 | Paper |
Nondeterministic control for hybrid search
Constraints | 2007-01-05 | Paper |
Contraint-based combinators for local search
Constraints | 2006-11-03 | Paper |
Maintaining longest paths incrementally
Constraints | 2006-02-23 | Paper |
Control abstractions for local search
Constraints | 2006-02-23 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2005-12-27 | Paper |
A simple tabu search for warehouse location
European Journal of Operational Research | 2005-01-12 | Paper |
Localizer: A Modeling Language for Local Search
INFORMS Journal on Computing | 2003-12-16 | Paper |
Localizer
Constraints | 2002-07-22 | Paper |
\textit{Helios}: A modeling language for global optimization and its implementation in \textit{Newton}
Theoretical Computer Science | 1998-07-23 | Paper |
Newton: Constraint programming over nonlinear constraints
Science of Computer Programming | 1998-03-24 | Paper |
