Armin Wolf - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

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

A New ::::O::::(::::n:::::::2:::log::::n::::) Not-First/Not-Last Pruning Algorithm for Cumulative Resource ConstraintsAndreas Schutt, Armin Wolf. cp 2010: 445-459 [doi]

Constraintbasierte Behandlungsplanung in der DialyseArmin Wolf, Ulrich Geske, Andrej Finsterbusch, Mario Rothe. gi 2010: 711-716

2009

2008

Representation and Processing of Preferential RulesUlrich Geske, Hans-Joachim Goltz, Armin Wolf. gi 2008: 529-534

Declarative Modelling and Efficient Optimization using Constraint TechnologyUlrich Geske, Armin Wolf. gi 2008: 515-516

Adaptive CHR Meets CHR:::v:::: An Extended Refined Operational Semantics for CHR:::v::: Based on JustificationsArmin Wolf, Jacques Robin, Jairson Vitorino. In Tom Schrijvers, Thom W. FrÃ¼hwirth, editors, Constraint Handling Rules, Current Research Topics. Volume 5388 of Lecture Notes in Computer Science, pages 48-69, Springer, 2008. [doi]

Impact-Based Search in Constraint-based SchedulingArmin Wolf. gi 2008: 523-528

2007

Constraint Programming Architectures: Review and a New ProposalJacques Robin, Jairson Vitorino, Armin Wolf. jucs, 13(6):701-720, 2007. [doi]

Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single ResourceArmin Wolf, Gunnar Schrader. wlp 2009: 21-37 [doi]

2006

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 PapersMasanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, editors, Volume 4369 of Lecture Notes in Computer Science, Springer, 2006.

Object-Oriented Constraint Programming in Java Using the Library firstcsArmin Wolf. wlp 2006: 21-32 [doi]

2005

Not-First and Not-Last Detection for Cumulative Scheduling in ::::O::::(::::n:::::::3:::log::::n::::)Andreas Schutt, Armin Wolf, Gunnar Schrader. inap 2006: 66-80 [doi]

::::O::::(::::n:::: log::::n::::) Overload Checking for the Cumulative Constraint and Its ApplicationArmin Wolf, Gunnar Schrader. inap 2006: 88-101 [doi]

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

Intelligent search strategies based on adaptive Constraint Handling RulesArmin Wolf. tplp, 5(4-5):567-594, 2005. [doi]

Towards an Object-Oriented Modeling of Constraint ProblemsArmin Wolf, Henry Müller, Matthias Hoche. wlp 2005: 41-52

2004

Better Propagation for Non-preemptive Single-Resource Constraint ProblemsArmin Wolf. csclp 2005: 201-215 [doi]

Realising the Alternative Resources ConstraintArmin Wolf, Hans Schlenker. wlp 2005: 185-199 [doi]

2003

Pruning while Sweeping over Task IntervalsArmin Wolf. cp 2003: 739-753 [doi]

Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task SchedulingArmin Wolf. csclp 2004: 223-232 [doi]

2001

Attributed Variables for Dynamic Constraint SolvingArmin Wolf. inap 2001: 211-219 [doi]

Adaptive Constraint Handling with CHR in JavaArmin Wolf. cp 2001: 256-270 [doi]

2000

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

On the Incremental Adaptation of CHR DerivationsArmin Wolf, Thomas Gruenhagen, Ulrich Geske. aai, 14(4):389-416, 2000.

1999

Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - ein allgemeiner Ansatz zur Lösung dynamischer Constraint-ProblemeArmin Wolf. Volume 219 of DISKI, Infix, 1999.

Projection in Adaptive Constraint HandlingArmin Wolf. compulog 2000: 318-338 [doi]

1998

The constraint logic paradigm: declarativity, efficiency and flexibilityUlrich Geske, Hans-Joachim Goltz, Ulrich John, Armin Wolf. ifip2-4 1998: 59-71

Adaptive Solving of Equations over Rational TreesArmin Wolf. cp 1998: 475 [doi]

Solving hierarchies of finite-domain constraintsArmin Wolf. jetai, 10(1):130-142, 1998.

1997

Constraint-basierte Planung und Konfiguration (system description)Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf. wlp 1997:

Adaptiv-inkrementelle UnifikationArmin Wolf. wlp 1997:

1995

Transforming Ordered Constraint Hierarchies into Ordinary Constraint SystemsArmin Wolf. cp 1996: 171-187

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

1994

Erweiterte Modellierung mit linearen Constraints und deren Einbettung in bestehende constraintlogische ProgrammiersprachenArmin Wolf. wlp 1994: 142-145