Helmut Simonis

84 papers A* 1A 20B 14C 1Misc 2Journal 23Unranked 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
Decomposition heuristics for the Hybrid Flexible Flowshop with transportation times.
Comput. Oper. Res.
Michele Garraffa, Helmut Simonis, Barry O'Sullivan, Eddie Armstrong
2025 B conf
Producer/Consumer Problems.
ICTAI
Sharmi Dev Gupta, Helmut Simonis, Luis Quesada, Barry O'Sullivan
2024 J jnl
Survey of Methods, Resources, and Formats for Teaching Constraint Programming.
CoRR
Tejas Santanam, Helmut Simonis
2022 B conf
A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times.
CPAIOR
Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis
2022 J jnl
A multi-objective supplier selection framework based on user-preferences.
Ann. Oper. Res.
Federico Toffano, Michele Garraffa, Yiqing Lin, Steven D. Prestwich, Helmut Simonis, Nic Wilson
2021 A conf
The Hybrid Flexible Flowshop with Transportation Times.
CP
Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis
2020 J jnl
Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting.
Int. J. Artif. Intell. Tools
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
2020 J jnl
Invariants for time-series constraints.
Constraints An Int. J.
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
2020 B conf
Parameterised Bounds on the Sum of Variables in Time-Series Constraints.
CPAIOR
Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis
2020 A ed.
Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings
CP
Helmut Simonis
2019 Misc conf
Simulation-Based Optimization Tool for Field Service Planning.
WSC
Gabriel G. Castañé, Helmut Simonis, Kenneth N. Brown, Yiqing Lin, Cemalettin Ozturk, Michele Garraffa, Mark Antunes
2019 J jnl
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints.
CoRR
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
2018 B conf
Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting.
ICTAI
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
2018 J jnl
Deriving generic bounds for time-series constraints based on regular expressions characteristics.
Constraints An Int. J.
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
2017 J jnl
Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics.
CoRR
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
2017 A conf
Generating Linear Invariants for a Conjunction of Automata Constraints.
CP
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
2017 J jnl
The Inductive Constraint Programming Loop.
IEEE Intell. Syst.
Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis
2017 A conf
among Implied Constraints for Two Families of Time-Series Constraints.
CP
Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis
2016 J jnl
Global Constraint Catalog, Volume II, Time-Series Constraints.
CoRR
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
2016 — ch.
ICON Loop Energy Show Case.
Data Mining and Constraint Programming
Barry Hurley, Barry O'Sullivan, Helmut Simonis
2016 — ch.
ICON Loop Health Show Case.
Data Mining and Constraint Programming
Barry Hurley, Lars Kotthoff, Barry O'Sullivan, Helmut Simonis
2016 — ch.
ModelSeeker: Extracting Global Constraint Models from Positive Examples.
Data Mining and Constraint Programming
Nicolas Beldiceanu, Helmut Simonis
2016 A* conf
Optimizing Energy Costs in a Zinc and Lead Mine.
AAAI
Alan Kinsella, Alan F. Smeaton, Barry Hurley, Barry O'Sullivan, Helmut Simonis
2016 A conf
Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints.
CP
Ekaterina Arafailova, Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
2016 — ch.
The Inductive Constraint Programming Loop.
Data Mining and Constraint Programming
Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis
2016 B conf
Time-Series Constraints: Improvements and Application in CP and MIP Contexts.
CPAIOR
Ekaterina Arafailova, Nicolas Beldiceanu, Rémi Douence, Pierre Flener, María Andreína Francisco Rodríguez, Justin Pearson, Helmut Simonis
2016 J jnl
Using finite transducers for describing and synthesising structural time-series constraints.
Constraints An Int. J.
Nicolas Beldiceanu, Mats Carlsson, Rémi Douence, Helmut Simonis
2015 J jnl
Bin Packing with Linear Usage Costs.
CoRR
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis
2015 J jnl
The Inductive Constraint Programming Loop.
CoRR
Christian Bessiere, Luc De Raedt, Tias Guns, Lars Kotthoff, Mirco Nanni, Siegfried Nijssen, Barry O'Sullivan, Anastasia Paparrizou, Dino Pedreschi, Helmut Simonis
2014 J jnl
A Constraint-Based Dental School Timetabling System.
AI Mag.
Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis
2014 J jnl
Analyzing the impact of electricity price forecasting on energy cost-aware scheduling.
Sustain. Comput. Informatics Syst.
Diarmuid Grimes, Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis
2014 B conf
Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation.
ICTAI
Deepak Mehta, Barry O'Sullivan, Cemalettin Ozturk, Luis Quesada, Helmut Simonis
2014 B ed.
Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings
CPAIOR
Helmut Simonis
2014 B conf
Proactive Workload Consolidation for Reducing Energy Cost over a Given Time Horizon.
CCGRID
Milan De Cauwer, Deepak Mehta, Barry O'Sullivan, Helmut Simonis, Hadrien Cambazard
2014 J jnl
Toward sustainable development in constraint programming.
Constraints An Int. J.
Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis
2013 A conf
Bin Packing with Linear Usage Costs - An Application to Energy Management in Data Centres.
CP
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis
2013 — conf
Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres.
GECON
Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis
2013 A conf
Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker.
CP
Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis
2013 Misc conf
Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices.
UCC
Deepak Mehta, Barry O'Sullivan, Helmut Simonis
2013 B conf
GAC for a Linear Inequality and an Atleast Constraint with an Application to Learning Simple Polynomials.
SOCS
Naina Razakarison, Mats Carlsson, Nicolas Beldiceanu, Helmut Simonis
2013 C conf
The Deployment of a Constraint-Based Dental School Timetabling System.
IAAI
Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis
2013 B conf
Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem.
CPAIOR
Yuri Malitsky, Deepak Mehta, Barry O'Sullivan, Helmut Simonis
2012 A conf
A Model Seeker: Extracting Global Constraint Models from Positive Examples.
CP
Nicolas Beldiceanu, Helmut Simonis
2012 A conf
Comparing Solution Methods for the Machine Reassignment Problem.
CP
Deepak Mehta, Barry O'Sullivan, Helmut Simonis
2012 J jnl
Partial symmetry breaking by local search in the group.
Constraints An Int. J.
Steven D. Prestwich, Brahim Hnich, Helmut Simonis, Roberto Rossi, S. Armagan Tarim
2012 A conf
Properties of Energy-Price Forecasts for Scheduling.
CP
Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis
2011 A conf
A Constraint Seeker: Finding and Ranking Global Constraints from Examples.
CP
Nicolas Beldiceanu, Helmut Simonis
2011 B conf
Almost Square Packing.
CPAIOR
Helmut Simonis, Barry O'Sullivan
2010 A conf
A Generic Visualization Platform for CP.
CP
Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson
2010 — conf
Multicriteria Reasoning Considering Reliability or Availability.
ICTAI (1)
Tarik Hadzic, Helmut Simonis
2009 A conf
A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem.
CP
Helmut Simonis
2009 B conf
Progress on the Progressive Party Problem.
CPAIOR
Helmut Simonis
2009 — conf
Solving the Static Design Routing and Wavelength Assignment Problem.
CSCLP
Helmut Simonis
2008 A conf
Search Strategies for Rectangle Packing.
CP
Helmut Simonis, Barry O'Sullivan
2007 J jnl
Models for Global Constraint Applications.
Constraints An Int. J.
Helmut Simonis
2006 — ch.
Constraint Applications in Networks.
Handbook of Constraint Programming
Helmut Simonis
2006 A conf
Constraint Based Resilience Analysis.
CP
Helmut Simonis
2005 — conf
Primary/Secondary Path Generation Problem: Reformulation, Solutions and Comparisons.
ICN (1)
Quanshi Xia, Helmut Simonis
2004 A conf
Challenges for Constraint Programming in Networking.
CP
Helmut Simonis
2000 — conf
Complex Constraint Abstraction: Global Constraint Visualisation.
Analysis and Visualization Tools for Constraint Programming
Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau
2000 J jnl
Constraint Handling in an Integrated Transportation Problem.
IEEE Intell. Syst.
Helmut Simonis, Philippe Charlier, Philip Kay
2000 — conf
Search-Tree Visualisation.
Analysis and Visualization Tools for Constraint Programming
Helmut Simonis, Abderrahmane Aggoun
2000 — conf
Using Constraint Visualisation Tools.
Analysis and Visualization Tools for Constraint Programming
Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco
1999 — conf
Building Industrial Applications with Constraint Programming.
CCL
Helmut Simonis
1999 J jnl
Preface: Volume 1.
Electron. Notes Discret. Math.
Mark Wallace, Yves Caseau, Eric Jacquet-Lagrèze, Helmut Simonis, Gilles Pesant
1999 — conf
Search Tree Debugging.
JFPLC
Helmut Simonis, Abderrahmane Aggoun
1995 — conf
Application Development with the CHIP System.
CDB
Helmut Simonis
1995 — conf
Application Development with the CHIP System.
WLP
Helmut Simonis
1995 B conf
Applications of Constraint Logic Programming.
ICLP
Helmut Simonis
1995 A conf
Modelling Producer/Consumer Constraints.
CP
Helmut Simonis, Trijntje Cornelissens
1995 A conf
The CHIP System and Its Applications.
CP
Helmut Simonis
1994 — conf
Applications of Constraint Logic Programming.
CCL
Helmut Simonis
1992 J jnl
Constraint Satisfaction Using Constraint Logic Programming.
Artif. Intell.
Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas
1991 — conf
Propositional Calculus Problems in CHIP.
WCLP
Helmut Simonis, Mehmet Dincbas
1990 — conf
Propositional Calculus Problems in CHIP.
ALP
Helmut Simonis, Mehmet Dincbas
1990 J jnl
Solving Large Combinatorial Problems in Logic Programming.
J. Log. Program.
Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
1989 B conf
Test Generation using the Constraint Logic Programming Language CHIP.
ICLP
Helmut Simonis
1988 — conf
Applications of CHIP to Industrial and Engineering Problems.
IEA/AIE (Vol. 2)
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf
1988 — conf
Solving a Cutting-Stock Problem in Constraint Logic Programming.
ICLP/SLP
Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
1988 A conf
Solving the Car-Sequencing Problem in Constraint Logic Programming.
ECAI
Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck
1988 A conf
The CHIP System: Constraint Handling In Prolog.
CADE
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold
1988 — conf
The Constraint Logic Programming Language CHIP.
FGCS
Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier
1987 J jnl
Embedding Boolean Expressions into Logic Programming.
J. Symb. Comput.
Wolfram Büttner, Helmut Simonis
1987 — conf
Using Logic Programming for Fault Diagnosis in Digital Circuits.
GWAI
Helmut Simonis, Mehmet Dincbas