Armin Wolf
Orcid: 0000-0003-3940-0792
According to our database1,
Armin Wolf
authored at least 54 papers
between 1994 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
1
1
1
1
1
1
1
1
1
1
1
2
2
2
3
1
2
3
3
3
1
1
3
2
2
2
1
1
2
2
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Conversion of Boolean and Integer FlatZinc Builtins to Quadratic or Linear Integer Problems.
CoRR, 2024
2023
Proceedings of the 53. Jahrestagung der Gesellschaft für Informatik, INFORMATIK 2023, Designing Future, 2023
2022
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
Proceedings of the Declarative Programming and Knowledge Management, 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
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
Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011
2010
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
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
Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009
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
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008
Proceedings of the 38. Jahrestagung der Gesellschaft für Informatik, Beherrschbare Systeme, 2008
2007
J. Univers. Comput. Sci., 2007
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
Proceedings of the 20th Workshop on Logic Programming, 2006
2005
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
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2004
Proceedings of the Recent Advances in Constraints, 2004
2003
Proceedings of the Recent Advances in Constraints, 2003
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
Proceedings of the Principles and Practice of Constraint Programming, 2001
2000
Implementierung von built-in Constraints für endliche Wertebereiche in Minerva.
Proceedings of the 14. Workshop Logische Programmierung, 2000
1999
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
J. Exp. Theor. Artif. Intell., 1998
The constraint logic paradigm: declarativity, efficiency and flexibility.
Proceedings of the Systems Implementation 2000, 1998
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
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