Helmut Simonis

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Parameterised bounds on the sum of variables in time-series constraints	2022-12-21	Paper
Propositional calculus problems in CHIP Algebraic and Logic Programming	2022-08-16	Paper
A multi-objective supplier selection framework based on user-preferences Annals of Operations Research	2022-03-09	Paper
Invariants for time-series constraints Constraints	2021-12-16	Paper
Deriving generic bounds for time-series constraints based on regular expressions characteristics Constraints	2018-03-22	Paper
Time-series constraints: improvements and application in CP and MIP contexts Integration of AI and OR Techniques in Constraint Programming	2016-06-27	Paper
Using finite transducers for describing and synthesising structural time-series constraints Constraints	2016-04-12	Paper
Tuning parameters of large neighborhood search for the machine reassignment problem Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2013-06-04	Paper
Almost square packing Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2011-05-26	Paper
A resource cost aware cumulative Lecture Notes in Computer Science	2011-04-01	Paper
Solving the Static Design Routing and Wavelength Assignment Problem Lecture Notes in Computer Science	2011-04-01	Paper
Models for global constraint applications Constraints	2007-05-10	Paper
scientific article; zbMATH DE number 1688814 (Why is no real title available?)	2002-01-09	Paper
scientific article; zbMATH DE number 1406253 (Why is no real title available?)	2000-07-20	Paper
Constraint satisfaction using constraint logic programming Artificial Intelligence	1993-04-01	Paper
Solving a cutting-stock problem with the constraint logic programming language CHIP Mathematical and Computer Modelling	1993-01-16	Paper
Solving large combinatorial problems in logic programming The Journal of Logic Programming	1990-01-01	Paper
Embedding Boolean expressions into logic programming Journal of Symbolic Computation	1987-01-01	Paper

Research outcomes over time

This page was built for person: Helmut Simonis