Helmut Simonis

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 22

Top Topics

Constraint Programming

Top Venues

Constraints An Int. J.

Publications

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