| 2008 |
|---|
| 29 | | Ulrich Geske,
Armin Wolf:
Declarative Modelling and Efficient Optimization using Constraint Technology.
GI Jahrestagung (2) 2008: 515-516 |
| 28 | | Armin Wolf:
Impact-Based Search in Constraint-based Scheduling.
GI Jahrestagung (2) 2008: 523-528 |
| 27 | | Ulrich Geske,
Hans-Joachim Goltz,
Armin Wolf:
Representation and Processing of Preferential Rules.
GI Jahrestagung (2) 2008: 529-534 |
| 2007 |
|---|
| 26 | EE | Jacques Robin,
Jairson Vitorino,
Armin Wolf:
Constraint Programming Architectures: Review and a New Proposal.
J. UCS 13(6): 701-720 (2007) |
| 2006 |
|---|
| 25 | | 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
Springer 2006 |
| 24 | EE | Armin Wolf:
Object-Oriented Constraint Programming in Java Using the Library firstcs.
WLP 2006: 21-32 |
| 2005 |
|---|
| 23 | EE | Armin Wolf,
Thom W. Frühwirth,
Marc Meister:
19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005
Universität Ulm, Germany 2005 |
| 22 | EE | Andreas Schutt,
Armin Wolf,
Gunnar Schrader:
Not-First and Not-Last Detection for Cumulative Scheduling in O(n3logn).
INAP 2005: 66-80 |
| 21 | EE | Armin Wolf,
Gunnar Schrader:
O(n logn) Overload Checking for the Cumulative Constraint and Its Application.
INAP 2005: 88-101 |
| 20 | | Armin Wolf,
Henry Müller,
Matthias Hoche:
Towards an Object-Oriented Modeling of Constraint Problems.
W(C)LP 2005: 41-52 |
| 19 | EE | Armin Wolf:
Intelligent search strategies based on adaptive Constraint Handling Rules.
TPLP 5(4-5): 567-594 (2005) |
| 2004 |
|---|
| 18 | EE | Armin Wolf:
Better Propagation for Non-preemptive Single-Resource Constraint Problems.
CSCLP 2004: 201-215 |
| 17 | EE | Armin Wolf,
Hans Schlenker:
Realising the Alternative Resources Constraint.
INAP/WLP 2004: 185-199 |
| 16 | EE | Armin Wolf:
Intelligent search strategies based on adaptive Constraint Handling Rules
CoRR cs.AI/0411016: (2004) |
| 2003 |
|---|
| 15 | EE | Armin Wolf:
Pruning while Sweeping over Task Intervals.
CP 2003: 739-753 |
| 14 | EE | Armin Wolf:
Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling.
CSCLP 2003: 223-232 |
| 2001 |
|---|
| 13 | EE | Armin Wolf:
Adaptive Constraint Handling with CHR in Java.
CP 2001: 256-270 |
| 12 | EE | Armin Wolf:
Attributed Variables for Dynamic Constraint Solving.
INAP 2001: 211-219 |
| 2000 |
|---|
| 11 | | Georg Ringwelski,
Armin Wolf,
Ulrich Geske:
Implementierung von built-in Constraints für endliche Wertebereiche in Minerva.
WLP 2000: 89-100 |
| 10 | | Armin Wolf,
Thomas Gruenhagen,
Ulrich Geske:
On the Incremental Adaptation of CHR Derivations.
Applied Artificial Intelligence 14(4): 389-416 (2000) |
| 1999 |
|---|
| 9 | EE | Armin Wolf:
Projection in Adaptive Constraint Handling.
New Trends in Constraints 1999: 318-338 |
| 1998 |
|---|
| 8 | EE | Armin Wolf:
Adaptive Solving of Equations over Rational Trees.
CP 1998: 475 |
| 7 | | Ulrich Geske,
Hans-Joachim Goltz,
Ulrich John,
Armin Wolf:
The constraint logic paradigm: declarativity, efficiency and flexibility.
Systems Implementation 2000 1998: 59-71 |
| 6 | | Armin Wolf:
Solving hierarchies of finite-domain constraints.
J. Exp. Theor. Artif. Intell. 10(1): 130-142 (1998) |
| 1997 |
|---|
| 5 | | Armin Wolf:
Adaptiv-inkrementelle Unifikation.
WLP 1997: 0- |
| 4 | | 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- |
| 1995 |
|---|
| 3 | | Armin Wolf:
Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems.
Over-Constrained Systems 1995: 171-187 |
| 2 | | Armin Wolf:
Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD).
WLP 1995: 143-149 |
| 1994 |
|---|
| 1 | | Armin Wolf:
Erweiterte Modellierung mit linearen Constraints und deren Einbettung in bestehende constraintlogische Programmiersprachen.
WLP 1994: 142-145 |
