default search action
Armin Wolf
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i7]Armin Wolf:
Conversion of Boolean and Integer FlatZinc Builtins to Quadratic or Linear Integer Problems. CoRR abs/2404.12797 (2024) - 2023
- [c43]Armin Wolf, Silke Cuno
:
Emission-Reducing Vehicle Routing in Food Logistics. GI-Jahrestagung 2023: 1599-1606 - [i6]Armin Wolf, Cristian Grozea:
Automatic Conversion of MiniZinc Programs to QUBO. CoRR abs/2307.10032 (2023) - 2022
- [c42]Marc Geitz, Cristian Grozea
Solving the Extended Job Shop Scheduling Problem with AGVs - Classical and Quantum Approaches. CPAIOR 2022: 120-137 - [c41]Armin Wolf:
The Proportional Constraint and Its Pruning - Continued. GI-Jahrestagung 2022: 1655-1665 - 2021
- [i5]Marc Geitz, Cristian Grozea, Wolfgang Steigerwald, Robin Stöhr, Armin Wolf:
Solving the Extended Job Shop Scheduling Problem with AGVs - Classical and Quantum Approaches. CoRR abs/2109.04830 (2021) - [i4]Cristian Grozea, Ronny Hans, Matthias Koch, Christina Riehn, Armin Wolf:
Optimising Rolling Stock Planning including Maintenance with Constraint Programming and Quantum Annealing. CoRR abs/2109.07212 (2021)
2010 – 2019
- 2019
- [c40]Petra Hofstedt, Walter Hower, Ulrich John, Armin Wolf:
MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme. GI-Jahrestagung (Workshops) 2019: 383 - [c39]Armin Wolf
Modular Modeling and Optimized Scheduling of Building Energy Systems Based on Mixed Integer Programming. DECLARE 2019: 43-58 - [i3]Armin Wolf:
Modular Modeling and Optimized Scheduling of Building Energy Systems based on Mixed Integer Programming. CoRR abs/1909.01767 (2019) - 2017
- [c38]Petra Hofstedt, Ulrich John, Armin Wolf
MOC 2017. GI-Jahrestagung 2017: 601-602 - [c37]Armin Wolf
The Proportional Constraint and Its Pruning. DECLARE 2017: 53-63 - 2015
- [c36]Petra Hofstedt, Ulrich John, Armin Wolf:
MOC 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme. GI-Jahrestagung 2015: 1045-1046 - [c35]Hans-Joachim Goltz, Armin Wolf:
Reservierungsmanager für Cloud-Ressourcen mittels constraintbasierter Programmierung. GI-Jahrestagung 2015: 1097-1102 - [c34]Petra Hofstedt, Walter Hower, Ulrich John, Andreas Kmoch, Armin Wolf:
Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - zur Diskussion. GI-Jahrestagung 2015: 1135-1138 - 2014
- [c33]Armin Wolf, Steffen Unger, Marc Schultz:
Eigenverbrauchs- und Kostenoptimierung zur Untersuchung des Einflusses dynamischer Stromtarife auf die Netznutzung. GI-Jahrestagung 2014: 1645-1656 - 2013
- [e4]Hans Tompits, Salvador Abreu
Applications of Declarative Programming and Knowledge Management - 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7773, Springer 2013, ISBN 978-3-642-41523-4 [contents] - [i2]Armin Wolf, Thomas Luckenbach, Mario Schuster:
Smart Demand-Side Response at Home. ERCIM News 2013(92) (2013) - 2012
- [j5]Armin Wolf
firstCS - New Aspects on Combining Constraint Programming with Object-Orientation in Java. Künstliche Intell. 26(1): 55-60 (2012) - 2011
- [c32]Ulrich Geske, Armin Wolf:
Deklarative Modellierung und effiziente Optimierung. GI-Jahrestagung 2011: 243-246 - [c31]Walter Weininger, Armin Wolf:
Optimierte Ablaufpläne für Ressourcenverbraucher bei zeitvariablen Ressourcentarifen. GI-Jahrestagung 2011: 247 - 2010
- [c30]Andreas Schutt
A New O(n2logn) Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints. CP 2010: 445-459 - [c29]Ulrich Geske, Armin Wolf:
Deklarative Modellierung und effiziente Optimierung (Vorwort). GI Jahrestagung (2) 2010: 691-692 - [c28]Armin Wolf, Ulrich Geske, Andrej Finsterbusch, Mario Rothe:
Constraintbasierte Behandlungsplanung in der Dialyse. GI Jahrestagung (2) 2010: 711-716
2000 – 2009
- 2009
- [c27]Armin Wolf
Constraint-Based Modeling and Scheduling of Clinical Pathways. CSCLP 2009: 122-138 - [c26]Ulrich Geske, Armin Wolf:
Deklarative Modellierung und effiziente Optimierung. GI Jahrestagung 2009: 401-403 - [c25]Armin Wolf:
Constraint-Based Task Scheduling with Sequence Dependent Setup Times, Time Windows and Breaks. GI Jahrestagung 2009: 3205-3219 - [c24]Ulrich Geske, Armin Wolf, Raphael Zander:
Constraint-basierte Fahr- und Kapazitätsplanung für ein Straßenbahnnetz. GI Jahrestagung 2009: 3220-3234 - [e3]Dietmar Seipel, Michael Hanus, Armin Wolf:
Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers. Lecture Notes in Computer Science 5437, Springer 2009, ISBN 978-3-642-00674-6 [contents] - 2008
- [c23]Ulrich Geske, Armin Wolf:
Declarative Modelling and Efficient Optimization using Constraint Technology. GI Jahrestagung (2) 2008: 515-516 - [c22]Armin Wolf:
Impact-Based Search in Constraint-based Scheduling. GI Jahrestagung (2) 2008: 523-528 - [c21]Ulrich Geske, Hans-Joachim Goltz, Armin Wolf:
Representation and Processing of Preferential Rules. GI Jahrestagung (2) 2008: 529-534 - [p1]Armin Wolf, Jacques Robin, Jairson Vitorino:
Adaptive CHR Meets CHRv: An Extended Refined Operational Semantics for CHRv Based on Justifications. Constraint Handling Rules 2008: 48-69 - 2007
- [b2]Petra Hofstedt, Armin Wolf
Einführung in die Constraint-Programmierung - Grundlagen, Methoden, Sprachen, Anwendungen. eXamen.press, Springer 2007, ISBN 978-3-540-23184-4, pp. I-XII, 1-388 - [j4]Jacques Robin, Jairson Vitorino, Armin Wolf:
Constraint Programming Architectures: Review and a New Proposal. J. Univers. Comput. Sci. 13(6): 701-720 (2007) - [c20]Armin Wolf, Gunnar Schrader:
Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource. INAP/WLP 2007: 21-37 - 2006
- [c19]Armin Wolf:
Object-Oriented Constraint Programming in Java Using the Library firstcs. WLP 2006: 21-32 - [e2]Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata:
Declarative Programming for Knowledge Management, 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005, Revised Selected Papers. Lecture Notes in Computer Science 4369, Springer 2006, ISBN 3-540-69233-9 [contents] - 2005
- [j3]Armin Wolf
Intelligent search strategies based on adaptive Constraint Handling Rules. Theory Pract. Log. Program. 5(4-5): 567-594 (2005) - [c18]Andreas Schutt
Not-First and Not-Last Detection for Cumulative Scheduling in O(n3logn). INAP 2005: 66-80 - [c17]Armin Wolf, Gunnar Schrader:
O(n logn) Overload Checking for the Cumulative Constraint and Its Application. INAP 2005: 88-101 - [c16]Armin Wolf, Henry Müller, Matthias Hoche:
Towards an Object-Oriented Modeling of Constraint Problems. W(C)LP 2005: 41-52 - [e1]Armin Wolf, Thom W. Frühwirth, Marc Meister:
19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005. Ulmer Informatik-Berichte 2005-01, Universität Ulm, Germany 2005 [contents] - 2004
- [c15]Armin Wolf:
Better Propagation for Non-preemptive Single-Resource Constraint Problems. CSCLP 2004: 201-215 - [c14]Armin Wolf, Hans Schlenker:
Realising the Alternative Resources Constraint. INAP/WLP 2004: 185-199 - [i1]Armin Wolf:
Intelligent search strategies based on adaptive Constraint Handling Rules. CoRR cs.AI/0411016 (2004) - 2003
- [c13]Armin Wolf:
Pruning while Sweeping over Task Intervals. CP 2003: 739-753 - [c12]Armin Wolf:
Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling. CSCLP 2003: 223-232 - 2001
- [c11]Armin Wolf:
Adaptive Constraint Handling with CHR in Java. CP 2001: 256-270 - [c10]Armin Wolf:
Attributed Variables for Dynamic Constraint Solving. INAP 2001: 211-219 - 2000
- [j2]Armin Wolf, Thomas Gruenhagen, Ulrich Geske:
On the Incremental Adaptation of CHR Derivations. Appl. Artif. Intell. 14(4): 389-416 (2000) - [c9]Georg Ringwelski, Armin Wolf, Ulrich Geske:
Implementierung von built-in Constraints für endliche Wertebereiche in Minerva. WLP 2000: 89-100
1990 – 1999
- 1999
- [b1]Armin Wolf:
Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme. Technical University of Berlin, Germany, DISKI 219, Infix 1999, ISBN 978-3-89601-219-7, pp. 1-240 - [c8]Armin Wolf:
Projection in Adaptive Constraint Handling. New Trends in Constraints 1999: 318-338 - 1998
- [j1]Armin Wolf:
Solving hierarchies of finite-domain constraints. J. Exp. Theor. Artif. Intell. 10(1): 130-142 (1998) - [c7]Armin Wolf:
Adaptive Solving of Equations over Rational Trees. CP 1998: 475 - [c6]Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Armin Wolf:
The constraint logic paradigm: declarativity, efficiency and flexibility. Systems Implementation 2000 1998: 59-71 - 1997
- [c5]Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf:
Constraint-basierte Planung und Konfiguration (system description). WLP 1997 - [c4]Armin Wolf:
Adaptiv-inkrementelle Unifikation. WLP 1997 - 1995
- [c3]Armin Wolf:
Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems. Over-Constrained Systems 1995: 171-187 - [c2]Armin Wolf:
Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD). WLP 1995: 143-149 - 1994
- [c1]Armin Wolf:
Erweiterte Modellierung mit linearen Constraints und deren Einbettung in bestehende constraintlogische Programmiersprachen. WLP 1994: 142-145
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-15 20:41 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: