Armin Wolf

Orcid: 0000-0003-3940-0792

According to our database1, Armin Wolf authored at least 53 papers between 1994 and 2023.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Automatic Conversion of MiniZinc Programs to QUBO.
CoRR, 2023

Emission-Reducing Vehicle Routing in Food Logistics.
Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023

2022
The Proportional Constraint and Its Pruning - Continued.
Proceedings of the 52. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2022, Informatik in den Naturwissenschaften, 26., 2022

Solving the Extended Job Shop Scheduling Problem with AGVs - Classical and Quantum Approaches.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2022

2021
Optimising Rolling Stock Planning including Maintenance with Constraint Programming and Quantum Annealing.
CoRR, 2021

2019
Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming.
Proceedings of the Declarative Programming and Knowledge Management, 2019

MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme.
Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019

2017
The Proportional Constraint and Its Pruning.
Proceedings of the Declarative Programming and Knowledge Management, 2017

MOC 2017.
Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2015
MOC 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - zur Diskussion.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

Reservierungsmanager für Cloud-Ressourcen mittels constraintbasierter Programmierung.
Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

2014
Eigenverbrauchs- und Kostenoptimierung zur Untersuchung des Einflusses dynamischer Stromtarife auf die Netznutzung.
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

2013
Smart Demand-Side Response at Home.
ERCIM News, 2013

2012
firstCS - New Aspects on Combining Constraint Programming with Object-Orientation in Java.
Künstliche Intell., 2012

2011
Optimierte Ablaufpläne für Ressourcenverbraucher bei zeitvariablen Ressourcentarifen.
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

2010
Constraintbasierte Behandlungsplanung in der Dialyse.
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

Deklarative Modellierung und effiziente Optimierung (Vorwort).
Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

A New <i>O</i>(<i>n</i><sup>2</sup>log<i>n</i>) Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints.
Proceedings of the Principles and Practice of Constraint Programming - CP 2010, 2010

2009
Constraint-Based Task Scheduling with Sequence Dependent Setup Times, Time Windows and Breaks.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Constraint-basierte Fahr- und Kapazitätsplanung für ein Straßenbahnnetz.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Deklarative Modellierung und effiziente Optimierung.
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

Constraint-Based Modeling and Scheduling of Clinical Pathways.
Proceedings of the Recent Advances in Constraints, 2009

2008
Adaptive CHR Meets CHR<sup>v</sup>: An Extended Refined Operational Semantics for CHR<sup>v</sup> Based on Justifications.
Proceedings of the Constraint Handling Rules, 2008

Impact-Based Search in Constraint-based Scheduling.
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

Declarative Modelling and Efficient Optimization using Constraint Technology.
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

Representation and Processing of Preferential Rules.
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008

2007
Constraint Programming Architectures: Review and a New Proposal.
J. Univers. Comput. Sci., 2007

Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2007

Einführung in die Constraint-Programmierung - Grundlagen, Methoden, Sprachen, Anwendungen.
eXamen.press, Springer, ISBN: 978-3-540-23184-4, 2007

2006
Object-Oriented Constraint Programming in Java Using the Library firstcs.
Proceedings of the 20th Workshop on Logic Programming, 2006

2005
Intelligent search strategies based on adaptive Constraint Handling Rules.
Theory Pract. Log. Program., 2005

Towards an Object-Oriented Modeling of Constraint Problems.
Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

<i>O</i>(<i>n</i> log<i>n</i>) Overload Checking for the Cumulative Constraint and Its Application.
Proceedings of the Declarative Programming for Knowledge Management, 2005

Not-First and Not-Last Detection for Cumulative Scheduling in <i>O</i>(<i>n</i><sup>3</sup>log<i>n</i>).
Proceedings of the Declarative Programming for Knowledge Management, 2005

2004
Realising the Alternative Resources Constraint.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004

Better Propagation for Non-preemptive Single-Resource Constraint Problems.
Proceedings of the Recent Advances in Constraints, 2004

2003
Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling.
Proceedings of the Recent Advances in Constraints, 2003

Pruning while Sweeping over Task Intervals.
Proceedings of the Principles and Practice of Constraint Programming, 2003

2001
Attributed Variables for Dynamic Constraint Solving.
Proceedings of the 14th International Conference on Applications of Prolog, 2001

Adaptive Constraint Handling with CHR in Java.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
On the Incremental Adaptation of CHR Derivations.
Appl. Artif. Intell., 2000

Implementierung von built-in Constraints für endliche Wertebereiche in Minerva.
Proceedings of the 14. Workshop Logische Programmierung, 2000

1999
Projection in Adaptive Constraint Handling.
Proceedings of the New Trends in Contraints, 1999

Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme.
PhD thesis, 1999

1998
Solving hierarchies of finite-domain constraints.
J. Exp. Theor. Artif. Intell., 1998

The constraint logic paradigm: declarativity, efficiency and flexibility.
Proceedings of the Systems Implementation 2000, 1998

Adaptive Solving of Equations over Rational Trees.
Proceedings of the Principles and Practice of Constraint Programming, 1998

1997
Adaptiv-inkrementelle Unifikation.
Proceedings of the Twelfth Workshop Logic Programming, 1997

Constraint-basierte Planung und Konfiguration (system description).
Proceedings of the Twelfth Workshop Logic Programming, 1997

1995
Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD).
Proceedings of the 11. Workshop Logische Programmierung, 1995

Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems.
Proceedings of the Over-Constrained Systems, 1995

1994
Erweiterte Modellierung mit linearen Constraints und deren Einbettung in bestehende constraintlogische Programmiersprachen.
Proceedings of the Tenth Logic Programming Workshop, 1994


  Loading...