Using Logic Programming for Fault Diagnosis in Digital Circuits. - Helmut Simonis; Mehmet Dincbas (GWAI, 1987)

Embedding Boolean Expressions into Logic Programming. - Wolfram Büttner; Helmut Simonis (J. Symb. Comput., 1987)

The CHIP System: Constraint Handling In Prolog. - Mehmet Dincbas; Pascal Van Hentenryck; Helmut Simonis; Abderrahmane Aggoun; Alexander Herold (CADE, 1988)

Solving the Car-Sequencing Problem in Constraint Logic Programming. - Mehmet Dincbas; Helmut Simonis; Pascal Van Hentenryck (ECAI, 1988)

The Constraint Logic Programming Language CHIP. - Mehmet Dincbas; Pascal Van Hentenryck; Helmut Simonis; Abderrahmane Aggoun; Thomas Graf; Françoise Berthier (FGCS, 1988)

Solving a Cutting-Stock Problem in Constraint Logic Programming. - Mehmet Dincbas; Helmut Simonis; Pascal Van Hentenryck (ICLP/SLP, 1988)

Applications of CHIP to Industrial and Engineering Problems. - Mehmet Dincbas; Pascal Van Hentenryck; Helmut Simonis; Abderrahmane Aggoun; Thomas Graf (IEA/AIE (Vol. 2), 1988)

Test Generation using the Constraint Logic Programming Language CHIP. - Helmut Simonis (ICLP, 1989)

Solving Large Combinatorial Problems in Logic Programming. - Mehmet Dincbas; Helmut Simonis; Pascal Van Hentenryck (J. Log. Program., 1990)

Propositional Calculus Problems in CHIP. - Helmut Simonis; Mehmet Dincbas (WCLP, 1991)

Constraint Satisfaction Using Constraint Logic Programming. - Pascal Van Hentenryck; Helmut Simonis; Mehmet Dincbas (Artif. Intell., 1992)

The CHIP System and Its Applications. - Helmut Simonis (CP, 1995)

Modelling Producer/Consumer Constraints. - Helmut Simonis; Trijntje Cornelissens (CP, 1995)

Applications of Constraint Logic Programming. - Helmut Simonis (ICLP, 1995)

Application Development with the CHIP System. - Helmut Simonis (WLP, 1995)

Building Industrial Applications with Constraint Programming. - Helmut Simonis (CCL, 1999)

Search Tree Debugging. - Helmut Simonis; Abderrahmane Aggoun (JFPLC, 1999)

Preface: Volume 1. - Mark Wallace 001; Yves Caseau; Eric Jacquet-Lagrèze; Helmut Simonis; Gilles Pesant (Electron. Notes Discret. Math., 1999)

Search-Tree Visualisation. - Helmut Simonis; Abderrahmane Aggoun (Analysis and Visualization Tools for Constraint Programming, 2000)

Complex Constraint Abstraction: Global Constraint Visualisation. - Helmut Simonis; Abderrahmane Aggoun; Nicolas Beldiceanu; Eric Bourreau (Analysis and Visualization Tools for Constraint Programming, 2000)

Using Constraint Visualisation Tools. - Helmut Simonis; Trijntje Cornelissens; Veroniek Dumortier; Giovanni Fabris; F. Nanni; Adriano Tirabosco (Analysis and Visualization Tools for Constraint Programming, 2000)

Constraint Handling in an Integrated Transportation Problem. - Helmut Simonis; Philippe Charlier; Philip Kay (IEEE Intell. Syst., 2000)

Challenges for Constraint Programming in Networking. - Helmut Simonis (CP, 2004)

Primary/Secondary Path Generation Problem: Reformulation, Solutions and Comparisons. - Quanshi Xia; Helmut Simonis (ICN (1), 2005)

Constraint Based Resilience Analysis. - Helmut Simonis (CP, 2006)

Constraint Applications in Networks. - Helmut Simonis (Handbook of Constraint Programming, 2006)

Models for Global Constraint Applications. - Helmut Simonis (Constraints An Int. J., 2007)

Search Strategies for Rectangle Packing. - Helmut Simonis; Barry O'Sullivan (CP, 2008)

A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem. - Helmut Simonis (CP, 2009)

Progress on the Progressive Party Problem. - Helmut Simonis (CPAIOR, 2009)

Solving the Static Design Routing and Wavelength Assignment Problem. - Helmut Simonis (CSCLP, 2009)

A Generic Visualization Platform for CP. - Helmut Simonis; Paul Davern; Jacob Feldman; Deepak Mehta 001; Luis Quesada 001; Mats Carlsson (CP, 2010)

Multicriteria Reasoning Considering Reliability or Availability. - Tarik Hadzic; Helmut Simonis (ICTAI (1), 2010)

A Constraint Seeker: Finding and Ranking Global Constraints from Examples. - Nicolas Beldiceanu; Helmut Simonis (CP, 2011)

Almost Square Packing. - Helmut Simonis; Barry O'Sullivan (CPAIOR, 2011)

A Model Seeker: Extracting Global Constraint Models from Positive Examples. - Nicolas Beldiceanu; Helmut Simonis (CP, 2012)

Properties of Energy-Price Forecasts for Scheduling. - Georgiana Ifrim; Barry O'Sullivan; Helmut Simonis (CP, 2012)

Comparing Solution Methods for the Machine Reassignment Problem. - Deepak Mehta 001; Barry O'Sullivan; Helmut Simonis (CP, 2012)

Partial symmetry breaking by local search in the group. - Steven D. Prestwich; Brahim Hnich; Helmut Simonis; Roberto Rossi 002; S. Armagan Tarim (Constraints An Int. J., 2012)

Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. - Nicolas Beldiceanu; Georgiana Ifrim; Arnaud Lenoir; Helmut Simonis (CP, 2013)

Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres. - Hadrien Cambazard; Deepak Mehta 001; Barry O'Sullivan; Helmut Simonis (CP, 2013)

Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem. - Yuri Malitsky; Deepak Mehta 001; Barry O'Sullivan; Helmut Simonis (CPAIOR, 2013)

Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres. - Hadrien Cambazard; Deepak Mehta 001; Barry O'Sullivan; Helmut Simonis (GECON, 2013)

The Deployment of a Constraint-Based Dental School Timetabling System. - Hadrien Cambazard; Barry O'Sullivan; Helmut Simonis (IAAI, 2013)

GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials. - Naina Razakarison; Mats Carlsson; Nicolas Beldiceanu; Helmut Simonis (SOCS, 2013)

Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices. - Deepak Mehta 001; Barry O'Sullivan; Helmut Simonis (UCC, 2013)

Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon. - Milan De Cauwer; Deepak Mehta 001; Barry O'Sullivan; Helmut Simonis; Hadrien Cambazard (CCGRID, 2014)

Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation. - Deepak Mehta 001; Barry O'Sullivan; Cemalettin Ozturk; Luis Quesada 001; Helmut Simonis (ICTAI, 2014)

A Constraint-Based Dental School Timetabling System. - Hadrien Cambazard; Barry O'Sullivan; Helmut Simonis (AI Mag., 2014)

Toward sustainable development in constraint programming. - Nicolas Beldiceanu; Pierre Flener; Jean-Noël Monette; Justin Pearson; Helmut Simonis (Constraints An Int. J., 2014)

Analyzing the impact of electricity price forecasting on energy cost-aware scheduling. - Diarmuid Grimes; Georgiana Ifrim; Barry O'Sullivan; Helmut Simonis (Sustain. Comput. Informatics Syst., 2014)

Bin Packing with Linear Usage Costs. - Hadrien Cambazard; Deepak Mehta 001; Barry O'Sullivan; Helmut Simonis (CoRR, 2015)

Optimizing Energy Costs in a Zinc and Lead Mine. - Alan Kinsella; Alan F. Smeaton; Barry Hurley 001; Barry O'Sullivan; Helmut Simonis (AAAI, 2016)

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Mats Carlsson; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CP, 2016)

Time-Series Constraints: Improvements and Application in CP and MIP Contexts. - Ekaterina Arafailova; Nicolas Beldiceanu; Rémi Douence; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CPAIOR, 2016)

Using finite transducers for describing and synthesising structural time-series constraints. - Nicolas Beldiceanu; Mats Carlsson; Rémi Douence; Helmut Simonis (Constraints An Int. J., 2016)

Global Constraint Catalog, Volume II, Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Rémi Douence; Mats Carlsson; Pierre Flener; María Andreína Francisco Rodríguez; Justin Pearson; Helmut Simonis (CoRR, 2016)

ICON Loop Health Show Case. - Barry Hurley 001; Lars Kotthoff; Barry O'Sullivan; Helmut Simonis (Data Mining and Constraint Programming, 2016)

ICON Loop Energy Show Case. - Barry Hurley 001; Barry O'Sullivan; Helmut Simonis (Data Mining and Constraint Programming, 2016)

ModelSeeker: Extracting Global Constraint Models from Positive Examples. - Nicolas Beldiceanu; Helmut Simonis (Data Mining and Constraint Programming, 2016)

The Inductive Constraint Programming Loop. - Christian Bessiere; Luc De Raedt; Tias Guns; Lars Kotthoff; Mirco Nanni; Siegfried Nijssen; Barry O'Sullivan; Anastasia Paparrizou; Dino Pedreschi; Helmut Simonis (Data Mining and Constraint Programming, 2016)

Generating Linear Invariants for a Conjunction of Automata Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (CP, 2017)

among Implied Constraints for Two Families of Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (CP, 2017)

The Inductive Constraint Programming Loop. - Christian Bessiere; Luc De Raedt; Tias Guns; Lars Kotthoff; Mirco Nanni; Siegfried Nijssen; Barry O'Sullivan; Anastasia Paparrizou; Dino Pedreschi; Helmut Simonis (IEEE Intell. Syst., 2017)

Deriving generic bounds for time-series constraints based on regular expressions characteristics. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (Constraints An Int. J., 2018)

Simulation-Based Optimization Tool for Field Service Planning. - Gabriel G. Castañé; Helmut Simonis; Kenneth N. Brown; Yiqing Lin; Cemalettin Ozturk; Michele Garraffa; Mark Antunes (WSC, 2019)

Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (CoRR, 2019)

Parameterised Bounds on the Sum of Variables in Time-Series Constraints. - Nicolas Beldiceanu; Maria-Isabel Restrepo-Ruiz; Helmut Simonis (CPAIOR, 2020)

Invariants for time-series constraints. - Ekaterina Arafailova; Nicolas Beldiceanu; Helmut Simonis (Constraints An Int. J., 2020)

Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting. - Mark Antunes; Vincent Armant; Kenneth N. Brown; Daniel A. Desmond; Guillaume Escamocher; Anne-Marie George; Diarmuid Grimes; Mike O'Keeffe; Yiqing Lin; Barry O'Sullivan; Cemalettin Ozturk; Luis Quesada 001; et al. (Int. J. Artif. Intell. Tools, 2020)

The Hybrid Flexible Flowshop with Transportation Times. - Eddie Armstrong; Michele Garraffa; Barry O'Sullivan; Helmut Simonis (CP, 2021)

A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times. - Eddie Armstrong; Michele Garraffa; Barry O'Sullivan; Helmut Simonis (CPAIOR, 2022)

A multi-objective supplier selection framework based on user-preferences. - Federico Toffano; Michele Garraffa; Yiqing Lin; Steven D. Prestwich; Helmut Simonis; Nic Wilson (Ann. Oper. Res., 2022)

Survey of Methods, Resources, and Formats for Teaching Constraint Programming. - Tejas Santanam; Helmut Simonis (CoRR, 2024)

Decomposition heuristics for the Hybrid Flexible Flowshop with transportation times. - Michele Garraffa; Helmut Simonis; Barry O'Sullivan; Eddie Armstrong (Comput. Oper. Res., 2025)