| Publication | Date of Publication | Type |
|---|
Human-centred feasibility restoration in practice
Constraints | 2023-09-15 | Paper |
| Context-sensitive dynamic partial order reduction | 2022-07-01 | Paper |
Independence in dynamically scheduled logic languages
Algebraic and Logic Programming | 2017-01-19 | Paper |
Visual search tree profiling
Constraints | 2016-04-12 | Paper |
Redundant disequalities in the Latin square problem
Constraints | 2015-06-15 | Paper |
Lightweight dynamic symmetry breaking
Constraints | 2015-04-29 | Paper |
A method for detecting symmetries in constraint models and its generalisation
Constraints | 2015-04-29 | Paper |
Symmetries, almost symmetries, and lazy clause generation
Constraints | 2015-04-29 | Paper |
Redundant Sudoku rules
Theory and Practice of Logic Programming | 2014-05-30 | Paper |
A CLP heap solver for test case generation
Theory and Practice of Logic Programming | 2014-02-27 | Paper |
Exploiting subproblem dominance in constraint programming
Constraints | 2012-09-27 | Paper |
Solving talent scheduling with dynamic programming
INFORMS Journal on Computing | 2012-07-28 | Paper |
Dynamic programming to minimize the maximum number of open stacks
INFORMS Journal on Computing | 2012-06-18 | Paper |
Lock-free parallel dynamic programming
Journal of Parallel and Distributed Computing | 2012-03-07 | Paper |
Automatically exploiting subproblem equivalence in constraint programming
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2010-06-22 | Paper |
On implementing symmetry detection
Constraints | 2009-11-16 | Paper |
The design of the zinc modelling language
Constraints | 2008-09-02 | Paper |
A Novel Approach For Detecting Symmetries in CSP Models
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
Functional and Logic Programming
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Improving PARMA trailing
Theory and Practice of Logic Programming | 2007-02-13 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
Checking modes of HAL programs
Theory and Practice of Logic Programming | 2006-01-03 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Optimizing compilation of constraint handling rules in HAL
Theory and Practice of Logic Programming | 2005-10-18 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2005-08-26 | Paper |
| scientific article; zbMATH DE number 2090518 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2085270 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2085271 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1973219 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1942451 (Why is no real title available?) | 2003-06-30 | Paper |
| scientific article; zbMATH DE number 1696868 (Why is no real title available?) | 2002-01-28 | Paper |
| scientific article; zbMATH DE number 1487941 (Why is no real title available?) | 2001-05-06 | Paper |
Automatic compile-time parallelization of logic programs for restricted, goal level, independent and parallelism
The Journal of Logic Programming | 1999-07-20 | Paper |
Differential methods in logic program analysis
The Journal of Logic Programming | 1998-11-24 | Paper |
Exploiting goal independence in the analysis of logic programs
The Journal of Logic Programming | 1998-03-16 | Paper |
