Helmut Simonis

According to our database1, Helmut Simonis authored at least 67 papers between 1987 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

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

Assigning and Scheduling Service Visits in a Mixed Urban/Rural Setting.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

2017
The Inductive Constraint Programming Loop.
IEEE Intelligent Systems, 2017

among Implied Constraints for Two Families of Time-Series Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2017

Generating Linear Invariants for a Conjunction of Automata Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2017

2016
The Inductive Constraint Programming Loop.
Proceedings of the Data Mining and Constraint Programming, 2016

ModelSeeker: Extracting Global Constraint Models from Positive Examples.
Proceedings of the Data Mining and Constraint Programming, 2016

ICON Loop Energy Show Case.
Proceedings of the Data Mining and Constraint Programming, 2016

ICON Loop Health Show Case.
Proceedings of the Data Mining and Constraint Programming, 2016

Global Constraint Catalog, Volume II, Time-Series Constraints.
CoRR, 2016

Using finite transducers for describing and synthesising structural time-series constraints.
Constraints, 2016

Time-Series Constraints: Improvements and Application in CP and MIP Contexts.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Optimizing Energy Costs in a Zinc and Lead Mine.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Bin Packing with Linear Usage Costs.
CoRR, 2015

2014
Analyzing the impact of electricity price forecasting on energy cost-aware scheduling.
SUSCOM, 2014

Toward sustainable development in constraint programming.
Constraints, 2014

A Constraint-Based Dental School Timetabling System.
AI Magazine, 2014

Designing an Optical Island in the Core Network: From Routing to Spectrum Allocation.
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.
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.
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.
Proceedings of the Sixth Annual Symposium on Combinatorial Search, 2013

The Deployment of a Constraint-Based Dental School Timetabling System.
Proceedings of the Twenty-Fifth Innovative Applications of Artificial Intelligence Conference, 2013

Constraint Programming Based Large Neighbourhood Search for Energy Minimisation in Data Centres.
Proceedings of the Economics of Grids, Clouds, Systems, and Services, 2013

Tuning Parameters of Large Neighborhood Search for the Machine Reassignment Problem.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2013

Describing and Generating Solutions for the EDF Unit Commitment Problem with the ModelSeeker.
Proceedings of the Principles and Practice of Constraint Programming, 2013

2012
Partial symmetry breaking by local search in the group.
Constraints, 2012

Comparing Solution Methods for the Machine Reassignment Problem.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Properties of Energy-Price Forecasts for Scheduling.
Proceedings of the Principles and Practice of Constraint Programming, 2012

A Model Seeker: Extracting Global Constraint Models from Positive Examples.
Proceedings of the Principles and Practice of Constraint Programming, 2012

2011
Almost Square Packing.
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.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
Multicriteria Reasoning Considering Reliability or Availability.
Proceedings of the 22nd IEEE International Conference on Tools with Artificial Intelligence, 2010

A Generic Visualization Platform for CP.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009
Solving the Static Design Routing and Wavelength Assignment Problem.
Proceedings of the Recent Advances in Constraints, 2009

Progress on the Progressive Party Problem.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
Search Strategies for Rectangle Packing.
Proceedings of the Principles and Practice of Constraint Programming, 2008

2007
Models for Global Constraint Applications.
Constraints, 2007

2006
Constraint Applications in Networks.
Proceedings of the Handbook of Constraint Programming, 2006

Constraint Based Resilience Analysis.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
Primary/Secondary Path Generation Problem: Reformulation, Solutions and Comparisons.
Proceedings of the Networking, 2005

2004
Challenges for Constraint Programming in Networking.
Proceedings of the Principles and Practice of Constraint Programming, 2004

2000
Constraint Handling in an Integrated Transportation Problem.
IEEE Intelligent Systems, 2000

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

Complex Constraint Abstraction: Global Constraint Visualisation.
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

Search-Tree Visualisation.
Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

1999
Preface: Volume 1.
Electronic Notes in Discrete Mathematics, 1999

Search Tree Debugging.
Proceedings of the JFPLC'99, 1999

Building Industrial Applications with Constraint Programming.
Proceedings of the Constraints in Computational Logics: Theory and Applications, 1999

1995
Applications of Constraint Logic Programming.
Proceedings of the Logic Programming, 1995

Modelling Producer/Consumer Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 1995

The CHIP System and Its Applications.
Proceedings of the Principles and Practice of Constraint Programming, 1995

Application Development with the CHIP System.
Proceedings of the Constraint Databases and Applications, 1995

1992
Constraint Satisfaction Using Constraint Logic Programming.
Artif. Intell., 1992

1990
Solving Large Combinatorial Problems in Logic Programming.
J. Log. Program., 1990

Propositional Calculus Problems in CHIP.
Proceedings of the Algebraic and Logic Programming, 1990

1989
Test Generation using the Constraint Logic Programming Language CHIP.
Proceedings of the Logic Programming, 1989

1988
Applications of CHIP to Industrial and Engineering Problems.
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.
Proceedings of the Logic Programming, 1988

The Constraint Logic Programming Language CHIP.
Proceedings of the International Conference on Fifth Generation Computer Systems, 1988

Solving the Car-Sequencing Problem in Constraint Logic Programming.
Proceedings of the 8th European Conference on Artificial Intelligence, 1988

The CHIP System: Constraint Handling In Prolog.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1987
Embedding Boolean Expressions into Logic Programming.
J. Symb. Comput., 1987

Using Logic Programming for Fault Diagnosis in Digital Circuits.
Proceedings of the GWAI-87, 11th German Workshop on Artificial Intelligence, Geseke, Germany, September 28, 1987


  Loading...