default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHelmut Simonis
Person information
- affiliation: University College Cork, Ireland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[i6]Tejas Santanam, Helmut Simonis:
Survey of Methods, Resources, and Formats for Teaching Constraint Programming. CoRR abs/2403.12717 (2024)- 2022
- [j16]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): 609-640 (2022) - [c53]Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis:
A Two-Phase Hybrid Approach for the Hybrid Flexible Flowshop with Transportation Times. CPAIOR 2022: 1-13 - 2021
- [c52]Eddie Armstrong, Michele Garraffa, Barry O'Sullivan, Helmut Simonis:
The Hybrid Flexible Flowshop with Transportation Times. CP 2021: 16:1-16:18 - 2020
- [j15]Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
Invariants for time-series constraints. Constraints An Int. J. 25(3-4): 71-120 (2020) - [j14]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): 2060007:1-2060007:31 (2020) - [c51]Nicolas Beldiceanu, Maria-Isabel Restrepo-Ruiz, Helmut Simonis:
Parameterised Bounds on the Sum of Variables in Time-Series Constraints. CPAIOR 2020: 82-98 - [e2]Helmut Simonis:
Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings. Lecture Notes in Computer Science 12333, Springer 2020, ISBN 978-3-030-58474-0 [contents]
2010 – 2019
- 2019
- [c50]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: 1684-1695 - [i5]Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
Synthesising a Database of Parameterised Linear and Non-Linear Invariants for Time-Series Constraints. CoRR abs/1901.09793 (2019) - 2018
- [j13]Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
Deriving generic bounds for time-series constraints based on regular expressions characteristics. Constraints An Int. J. 23(1): 44-86 (2018) - [c49]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: 114-121 - 2017
- [j12]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): 44-52 (2017) - [c48]Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
Generating Linear Invariants for a Conjunction of Automata Constraints. CP 2017: 21-37 - [c47]Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
among Implied Constraints for Two Families of Time-Series Constraints. CP 2017: 38-54 - [i4]Ekaterina Arafailova, Nicolas Beldiceanu, Helmut Simonis:
Deriving Generic Bounds for Time-Series Constraints Based on Regular Expressions Characteristics. CoRR abs/1703.06783 (2017) - 2016
- [j11]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): 22-40 (2016) - [c46]Alan Kinsella, Alan F. Smeaton, Barry Hurley, Barry O'Sullivan, Helmut Simonis:
Optimizing Energy Costs in a Zinc and Lead Mine. AAAI 2016: 4022-4027 - [c45]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: 13-29 - [c44]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: 18-34 - [p4]Nicolas Beldiceanu, Helmut Simonis:
ModelSeeker: Extracting Global Constraint Models from Positive Examples. Data Mining and Constraint Programming 2016: 77-95 - [p3]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. Data Mining and Constraint Programming 2016: 303-309 - [p2]Barry Hurley, Lars Kotthoff, Barry O'Sullivan, Helmut Simonis:
ICON Loop Health Show Case. Data Mining and Constraint Programming 2016: 325-333 - [p1]Barry Hurley, Barry O'Sullivan, Helmut Simonis:
ICON Loop Energy Show Case. Data Mining and Constraint Programming 2016: 334-347 - [i3]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 abs/1609.08925 (2016) - 2015
- [i2]Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Bin Packing with Linear Usage Costs. CoRR abs/1509.06712 (2015) - [i1]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 abs/1510.03317 (2015) - 2014
- [j10]Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis:
A Constraint-Based Dental School Timetabling System. AI Mag. 35(1): 53-63 (2014) - [j9]Nicolas Beldiceanu, Pierre Flener, Jean-Noël Monette, Justin Pearson, Helmut Simonis:
Toward sustainable development in constraint programming. Constraints An Int. J. 19(2): 139-149 (2014) - [j8]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): 276-291 (2014) - [c43]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: 558-561 - [c42]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: 560-567 - [e1]Helmut Simonis:
Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings. Lecture Notes in Computer Science 8451, Springer 2014, ISBN 978-3-319-07045-2 [contents] - 2013
- [c41]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: 47-62 - [c40]Nicolas Beldiceanu, Georgiana Ifrim, Arnaud Lenoir, Helmut Simonis:
Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker. CP 2013: 733-748 - [c39]Yuri Malitsky, Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem. CPAIOR 2013: 176-192 - [c38]Hadrien Cambazard, Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres. GECON 2013: 44-59 - [c37]Hadrien Cambazard, Barry O'Sullivan, Helmut Simonis:
The Deployment of a Constraint-Based Dental School Timetabling System. IAAI 2013: 1459-1464 - [c36]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: 149-157 - [c35]Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Energy Cost Management for Geographically Distributed Data Centres under Time-Variable Demands and Energy Prices. UCC 2013: 26-33 - 2012
- [j7]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): 148-171 (2012) - [c34]Nicolas Beldiceanu, Helmut Simonis:
A Model Seeker: Extracting Global Constraint Models from Positive Examples. CP 2012: 141-157 - [c33]Deepak Mehta, Barry O'Sullivan, Helmut Simonis:
Comparing Solution Methods for the Machine Reassignment Problem. CP 2012: 782-797 - [c32]Georgiana Ifrim, Barry O'Sullivan, Helmut Simonis:
Properties of Energy-Price Forecasts for Scheduling. CP 2012: 957-972 - 2011
- [c31]Nicolas Beldiceanu, Helmut Simonis:
A Constraint Seeker: Finding and Ranking Global Constraints from Examples. CP 2011: 12-26 - [c30]Helmut Simonis, Barry O'Sullivan:
Almost Square Packing. CPAIOR 2011: 196-209 - 2010
- [c29]Helmut Simonis, Paul Davern, Jacob Feldman, Deepak Mehta, Luis Quesada, Mats Carlsson:
A Generic Visualization Platform for CP. CP 2010: 460-474 - [c28]Tarik Hadzic, Helmut Simonis:
Multicriteria Reasoning Considering Reliability or Availability. ICTAI (1) 2010: 423-430
2000 – 2009
- 2009
- [c27]Helmut Simonis:
A Hybrid Constraint Model for the Routing and Wavelength Assignment Problem. CP 2009: 104-118 - [c26]Helmut Simonis:
Progress on the Progressive Party Problem. CPAIOR 2009: 328-329 - [c25]Helmut Simonis:
Solving the Static Design Routing and Wavelength Assignment Problem. CSCLP 2009: 59-75 - 2008
- [c24]Helmut Simonis, Barry O'Sullivan:
Search Strategies for Rectangle Packing. CP 2008: 52-66 - 2007
- [j6]Helmut Simonis:
Models for Global Constraint Applications. Constraints An Int. J. 12(1): 63-92 (2007) - 2006
- [c23]Helmut Simonis:
Constraint Based Resilience Analysis. CP 2006: 16-28 - [r1]Helmut Simonis:
Constraint Applications in Networks. Handbook of Constraint Programming 2006: 875-903 - 2005
- [c22]Quanshi Xia, Helmut Simonis:
Primary/Secondary Path Generation Problem: Reformulation, Solutions and Comparisons. ICN (1) 2005: 611-619 - 2004
- [c21]Helmut Simonis:
Challenges for Constraint Programming in Networking. CP 2004: 13-16 - 2000
- [j5]Helmut Simonis, Philippe Charlier, Philip Kay:
Constraint Handling in an Integrated Transportation Problem. IEEE Intell. Syst. 15(1): 26-32 (2000) - [c20]Helmut Simonis, Abderrahmane Aggoun:
Search-Tree Visualisation. Analysis and Visualization Tools for Constraint Programming 2000: 191-208 - [c19]Helmut Simonis, Abderrahmane Aggoun, Nicolas Beldiceanu, Eric Bourreau:
Complex Constraint Abstraction: Global Constraint Visualisation. Analysis and Visualization Tools for Constraint Programming 2000: 299-317 - [c18]Helmut Simonis, Trijntje Cornelissens, Veroniek Dumortier, Giovanni Fabris, F. Nanni, Adriano Tirabosco:
Using Constraint Visualisation Tools. Analysis and Visualization Tools for Constraint Programming 2000: 321-356
1990 – 1999
- 1999
- [j4]Mark Wallace, Yves Caseau, Eric Jacquet-Lagrèze, Helmut Simonis, Gilles Pesant:
Preface: Volume 1. Electron. Notes Discret. Math. 1: 85-86 (1999) - [c17]Helmut Simonis:
Building Industrial Applications with Constraint Programming. CCL 1999: 271-309 - [c16]Helmut Simonis, Abderrahmane Aggoun:
Search Tree Debugging. JFPLC 1999: 265-280 - 1995
- [c15]Helmut Simonis:
Application Development with the CHIP System. CDB 1995: 1-21 - [c14]Helmut Simonis, Trijntje Cornelissens:
Modelling Producer/Consumer Constraints. CP 1995: 449-462 - [c13]Helmut Simonis:
The CHIP System and Its Applications. CP 1995: 643-646 - [c12]Helmut Simonis:
Applications of Constraint Logic Programming. ICLP 1995: 9-11 - [c11]Helmut Simonis:
Application Development with the CHIP System. WLP 1995: 11-27 - 1994
- [c10]Helmut Simonis:
Applications of Constraint Logic Programming. CCL 1994: 152-153 - 1992
- [j3]Pascal Van Hentenryck, Helmut Simonis, Mehmet Dincbas:
Constraint Satisfaction Using Constraint Logic Programming. Artif. Intell. 58(1-3): 113-159 (1992) - 1991
- [c9]Helmut Simonis, Mehmet Dincbas:
Propositional Calculus Problems in CHIP. WCLP 1991: 269-285 - 1990
- [j2]Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
Solving Large Combinatorial Problems in Logic Programming. J. Log. Program. 8(1): 75-93 (1990) - [c8]Helmut Simonis, Mehmet Dincbas:
Propositional Calculus Problems in CHIP. ALP 1990: 189-203
1980 – 1989
- 1989
- [c7]Helmut Simonis:
Test Generation using the Constraint Logic Programming Language CHIP. ICLP 1989: 101-112 - 1988
- [c6]Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Alexander Herold:
The CHIP System: Constraint Handling In Prolog. CADE 1988: 774-775 - [c5]Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
Solving the Car-Sequencing Problem in Constraint Logic Programming. ECAI 1988: 290-295 - [c4]Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier:
The Constraint Logic Programming Language CHIP. FGCS 1988: 693-702 - [c3]Mehmet Dincbas, Helmut Simonis, Pascal Van Hentenryck:
Solving a Cutting-Stock Problem in Constraint Logic Programming. ICLP/SLP 1988: 42-58 - [c2]Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf:
Applications of CHIP to Industrial and Engineering Problems. IEA/AIE (Vol. 2) 1988: 885-892 - 1987
- [j1]Wolfram Büttner, Helmut Simonis:
Embedding Boolean Expressions into Logic Programming. J. Symb. Comput. 4(2): 191-205 (1987) - [c1]Helmut Simonis, Mehmet Dincbas:
Using Logic Programming for Fault Diagnosis in Digital Circuits. GWAI 1987: 139-148
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-09 20:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
