Armin Wolf

Armin Wolf, Thomas Luckenbach, Mario Schuster: Smart Demand-Side Response at Home. ERCIM News 2013(92) (2013)

Armin Wolf: firstCS - New Aspects on Combining Constraint Programming with Object-Orientation in Java. KI 26(1): 55-60 (2012)

Andreas Schutt, Armin Wolf: A New O(n²logn) Not-First/Not-Last Pruning Algorithm for Cumulative Resource Constraints. CP 2010: 445-459

Ulrich Geske, Armin Wolf: Deklarative Modellierung und effiziente Optimierung (Vorwort). GI Jahrestagung (2) 2010: 691-692

Armin Wolf, Ulrich Geske, Andrej Finsterbusch, Mario Rothe: Constraintbasierte Behandlungsplanung in der Dialyse. GI Jahrestagung (2) 2010: 711-716

Armin Wolf: Constraint-Based Modeling and Scheduling of Clinical Pathways. CSCLP 2009: 122-138

Ulrich Geske, Armin Wolf: Vorwort der Workshop-Leitung. GI Jahrestagung 2009: 402-403

Armin Wolf: Constraint-Based Task Scheduling with Sequence Dependent Setup Times, Time Windows and Breaks. GI Jahrestagung 2009: 3205-3219

Ulrich Geske, Armin Wolf, Raphael Zander: Constraint-basierte Fahr- und Kapazitätsplanung für ein Straßenbahnnetz. GI Jahrestagung 2009: 3220-3234

Dietmar Seipel, Michael Hanus, Armin Wolf (Eds.): 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

Ulrich Geske, Armin Wolf: Declarative Modelling and Efficient Optimization using Constraint Technology. GI Jahrestagung (2) 2008: 515-516

Armin Wolf: Impact-Based Search in Constraint-based Scheduling. GI Jahrestagung (2) 2008: 523-528

Ulrich Geske, Hans-Joachim Goltz, Armin Wolf: Representation and Processing of Preferential Rules. GI Jahrestagung (2) 2008: 529-534

Armin Wolf, Jacques Robin, Jairson Vitorino: Adaptive CHR Meets CHR^v: An Extended Refined Operational Semantics for CHR^v Based on Justifications. Constraint Handling Rules 2008: 48-69

Jacques Robin, Jairson Vitorino, Armin Wolf: Constraint Programming Architectures: Review and a New Proposal. J. UCS 13(6): 701-720 (2007)

Armin Wolf, Gunnar Schrader: Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single Resource. INAP/WLP 2007: 21-37

Armin Wolf: Object-Oriented Constraint Programming in Java Using the Library firstcs. WLP 2006: 21-32

Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata (Eds.): 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

Armin Wolf: Intelligent search strategies based on adaptive Constraint Handling Rules. TPLP 5(4-5): 567-594 (2005)

Andreas Schutt, Armin Wolf, Gunnar Schrader: Not-First and Not-Last Detection for Cumulative Scheduling in O(n³logn). INAP 2005: 66-80

Armin Wolf, Gunnar Schrader: O(n logn) Overload Checking for the Cumulative Constraint and Its Application. INAP 2005: 88-101

Armin Wolf, Henry Müller, Matthias Hoche: Towards an Object-Oriented Modeling of Constraint Problems. W(C)LP 2005: 41-52

Armin Wolf, Thom W. Frühwirth, Marc Meister (Eds.): 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005. Ulmer Informatik-Berichte 2005-01, Universität Ulm, Germany 2005

Armin Wolf: Better Propagation for Non-preemptive Single-Resource Constraint Problems. CSCLP 2004: 201-215

Armin Wolf, Hans Schlenker: Realising the Alternative Resources Constraint. INAP/WLP 2004: 185-199

Armin Wolf: Intelligent search strategies based on adaptive Constraint Handling Rules. CoRR cs.AI/0411016 (2004)

Armin Wolf: Pruning while Sweeping over Task Intervals. CP 2003: 739-753

Armin Wolf: Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling. CSCLP 2003: 223-232

Armin Wolf: Adaptive Constraint Handling with CHR in Java. CP 2001: 256-270

Armin Wolf: Attributed Variables for Dynamic Constraint Solving. INAP 2001: 211-219

Armin Wolf, Thomas Gruenhagen, Ulrich Geske: On the Incremental Adaptation of CHR Derivations. Applied Artificial Intelligence 14(4): 389-416 (2000)

Georg Ringwelski, Armin Wolf, Ulrich Geske: Implementierung von built-in Constraints für endliche Wertebereiche in Minerva. WLP 2000: 89-100

Armin Wolf: Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme. DISKI 219, Infix 1999, isbn 978-3-89601-219-7, pp. 1-240

Armin Wolf: Projection in Adaptive Constraint Handling. New Trends in Constraints 1999: 318-338

Armin Wolf: Solving hierarchies of finite-domain constraints. J. Exp. Theor. Artif. Intell. 10(1): 130-142 (1998)

Armin Wolf: Adaptive Solving of Equations over Rational Trees. CP 1998: 475

Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Armin Wolf: The constraint logic paradigm: declarativity, efficiency and flexibility. Systems Implementation 2000 1998: 59-71

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: 0-

Armin Wolf: Adaptiv-inkrementelle Unifikation. WLP 1997: 0-

Armin Wolf: Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems. Over-Constrained Systems 1995: 171-187

Armin Wolf: Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD). WLP 1995: 143-149

Armin Wolf: Erweiterte Modellierung mit linearen Constraints und deren Einbettung in bestehende constraintlogische Programmiersprachen. WLP 1994: 142-145