Helmut Simonis

According to our database, Helmut Simonis authored at least 74 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Survey of Methods, Resources, and Formats for Teaching Constraint Programming.

Tejas Santanam, Helmut Simonis

CoRR, 2024

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

A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times.

Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022

2021

The Hybrid Flexible Flowshop with Transportation Times.

Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

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, Mohamed Siala, Helmut Simonis, Nic Wilson

Int. J. Artif. Intell. Tools, 2020

Invariants for time-series constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Constraints An Int. J., 2020

Parameterised Bounds on the Sum of Variables in Time-Series Constraints.

Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019

Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

CoRR, 2019

Simulation-Based Optimization Tool for Field Service Planning.

Gabriel G. Castañé, Helmut Simonis, Kenneth N. Brown, Yiqing Lin, Cemalettin Ozturk, Michele Garraffa, Mark Antunes

Proceedings of the 2019 Winter Simulation Conference, 2019

2018

Deriving generic bounds for time-series constraints based on regular expressions characteristics.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Constraints An Int. J., 2018

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

among Implied Constraints for Two Families of Time-Series Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2017

Generating Linear Invariants for a Conjunction of Automata Constraints.

Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2017

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

Proceedings of the Data Mining and Constraint Programming, 2016

ModelSeeker: Extracting Global Constraint Models from Positive Examples.

Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Data Mining and Constraint Programming, 2016

ICON Loop Energy Show Case.

Barry Hurley, Barry O'Sullivan, Helmut Simonis

Proceedings of the Data Mining and Constraint Programming, 2016

ICON Loop Health Show Case.

Barry Hurley, Lars Kotthoff, Barry O'Sullivan, Helmut Simonis

Proceedings of the Data Mining and Constraint Programming, 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

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

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

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 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

Proceedings of the Principles and Practice of Constraint Programming, 2016

Optimizing Energy Costs in a Zinc and Lead Mine.

Alan Kinsella, Alan F. Smeaton, Barry Hurley, Barry O'Sullivan, Helmut Simonis

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Bin Packing with Linear Usage Costs.

Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis

CoRR, 2015

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

Toward sustainable development in constraint programming.

Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis

Constraints An Int. J., 2014

A Constraint-Based Dental School Timetabling System.

Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis

AI Mag., 2014

Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation.

Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Helmut Simonis

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon.

Milan De Cauwer, Deepak Mehta, Barry O'Sullivan, Helmut Simonis, Hadrien Cambazard

Proceedings of the 14th IEEE/ACM International Symposium on Cluster, 2014

2013

Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices.

Deepak Mehta, Barry O'Sullivan, Helmut Simonis

Proceedings of the IEEE/ACM 6th International Conference on Utility and Cloud Computing, 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

Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

The Deployment of a Constraint-Based Dental School Timetabling System.

Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis

Proceedings of the Twenty-Fifth Innovative Applications of Artificial Intelligence Conference, 2013

Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres.

Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis

Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013

Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem.

Yuri Malitsky, Deepak Mehta, Barry O'Sullivan, Helmut Simonis

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres.

Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2013

Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker.

Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2013

2012

Partial symmetry breaking by local search in the group.

Steven D. Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim

Constraints An Int. J., 2012

Comparing Solution Methods for the Machine Reassignment Problem.

Deepak Mehta, Barry O'Sullivan, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2012

Properties of Energy-Price Forecasts for Scheduling.

Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2012

A Model Seeker: Extracting Global Constraint Models from Positive Examples.

Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2012

2011

Almost Square Packing.

Helmut Simonis, Barry O'Sullivan

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011

A Constraint Seeker: Finding and Ranking Global Constraints from Examples.

Nicolas Beldiceanu, Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Multicriteria Reasoning Considering Reliability or Availability.

Tarik Hadzic, Helmut Simonis

Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

A Generic Visualization Platform for CP.

Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson

Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009

Solving the Static Design Routing and Wavelength Assignment Problem.

Helmut Simonis

Proceedings of the Recent Advances in Constraints, 2009

Progress on the Progressive Party Problem.

Helmut Simonis

Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem.

Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2009

2008

Search Strategies for Rectangle Packing.

Helmut Simonis, Barry O'Sullivan

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Models for Global Constraint Applications.

Helmut Simonis

Constraints An Int. J., 2007

2006

Constraint Applications in Networks.

Helmut Simonis

Proceedings of the Handbook of Constraint Programming, 2006

Constraint Based Resilience Analysis.

Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2006

2005

Primary/Secondary Path Generation Problem: Reformulation, Solutions and Comparisons.

Quanshi Xia, Helmut Simonis

Proceedings of the Networking, 2005

2004

Challenges for Constraint Programming in Networking.

Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 2004

2000

Constraint Handling in an Integrated Transportation Problem.

Helmut Simonis, Philippe Charlier, Philip Kay

IEEE Intell. Syst., 2000

Using Constraint Visualisation Tools.

Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Complex Constraint Abstraction: Global Constraint Visualisation.

Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Search-Tree Visualisation.

Helmut Simonis, Abderrahmane Aggoun

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

1999

Preface: Volume 1.

Mark Wallace, Yves Caseau, Eric Jacquet-Lagrèze, Helmut Simonis, Gilles Pesant

Electron. Notes Discret. Math., 1999

Search Tree Debugging.

Helmut Simonis, Abderrahmane Aggoun

Proceedings of the JFPLC'99, 1999

Building Industrial Applications with Constraint Programming.

Helmut Simonis

Proceedings of the Constraints in Computational Logics: Theory and Applications, 1999

1995

Applications of Constraint Logic Programming.

Helmut Simonis

Proceedings of the Logic Programming, 1995

Modelling Producer/Consumer Constraints.

Helmut Simonis, Trijntje Cornelissens

Proceedings of the Principles and Practice of Constraint Programming, 1995

The CHIP System and Its Applications.

Helmut Simonis

Proceedings of the Principles and Practice of Constraint Programming, 1995

Application Development with the CHIP System.

Helmut Simonis

Proceedings of the Constraint Databases and Applications, 1995

1992

Constraint Satisfaction Using Constraint Logic Programming.

Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas

Artif. Intell., 1992

1990

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

Proceedings of the Algebraic and Logic Programming, 1990

1989

Test Generation using the Constraint Logic Programming Language CHIP.

Helmut Simonis

Proceedings of the Logic Programming, 1989

1988

Applications of CHIP to Industrial and Engineering Problems.

Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf

Proceedings of the First International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, 1988

Solving a Cutting-Stock Problem in Constraint Logic Programming.

Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck

Proceedings of the Logic Programming, 1988

The Constraint Logic Programming Language CHIP.

Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier

Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Solving the Car-Sequencing Problem in Constraint Logic Programming.

Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

The CHIP System: Constraint Handling In Prolog.

Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Embedding Boolean Expressions into Logic Programming.

Wolfram Büttner, Helmut Simonis

J. Symb. Comput., 1987

Using Logic Programming for Fault Diagnosis in Digital Circuits.

Helmut Simonis, Mehmet Dincbas

Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987