BibTeX records: Armin Wolf

download as .bib file

@inproceedings{DBLP:conf/gi/WolfC23,
  author       = {Armin Wolf and
                  Silke Cuno},
  editor       = {Maike Klein and
                  Daniel Krupka and
                  Cornelia Winter and
                  Volker Wohlgemuth},
  title        = {Emission-Reducing Vehicle Routing in Food Logistics},
  booktitle    = {53. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, {INFORMATIK}
                  2023, Designing Future - Zuk{\"{u}}nfte gestalten, Berlin, Germany
                  September 26-29, 2023},
  series       = {{LNI}},
  volume       = {{P-337}},
  pages        = {1599--1606},
  publisher    = {Gesellschaft f{\"{u}}r Informatik, Bonn},
  year         = {2023},
  url          = {https://doi.org/10.18420/inf2023\_163},
  doi          = {10.18420/INF2023\_163},
  timestamp    = {Thu, 21 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/WolfC23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-10032,
  author       = {Armin Wolf and
                  Cristian Grozea},
  title        = {Automatic Conversion of MiniZinc Programs to {QUBO}},
  journal      = {CoRR},
  volume       = {abs/2307.10032},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.10032},
  doi          = {10.48550/ARXIV.2307.10032},
  eprinttype    = {arXiv},
  eprint       = {2307.10032},
  timestamp    = {Wed, 26 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-10032.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpaior/GeitzGSSW22,
  author       = {Marc Geitz and
                  Cristian Grozea and
                  Wolfgang Steigerwald and
                  Robin St{\"{o}}hr and
                  Armin Wolf},
  editor       = {Pierre Schaus},
  title        = {Solving the Extended Job Shop Scheduling Problem with AGVs - Classical
                  and Quantum Approaches},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 19th International Conference, {CPAIOR} 2022,
                  Los Angeles, CA, USA, June 20-23, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13292},
  pages        = {120--137},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-08011-1\_10},
  doi          = {10.1007/978-3-031-08011-1\_10},
  timestamp    = {Tue, 28 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/GeitzGSSW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Wolf22,
  author       = {Armin Wolf},
  editor       = {Daniel Demmler and
                  Daniel Krupka and
                  Hannes Federrath},
  title        = {The Proportional Constraint and Its Pruning - Continued},
  booktitle    = {52. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, {INFORMATIK}
                  2022, Informatik in den Naturwissenschaften, 26. - 30. September 2022,
                  Hamburg},
  series       = {{LNI}},
  volume       = {{P-326}},
  pages        = {1655--1665},
  publisher    = {Gesellschaft f{\"{u}}r Informatik, Bonn},
  year         = {2022},
  url          = {https://doi.org/10.18420/inf2022\_142},
  doi          = {10.18420/INF2022\_142},
  timestamp    = {Fri, 08 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/Wolf22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-04830,
  author       = {Marc Geitz and
                  Cristian Grozea and
                  Wolfgang Steigerwald and
                  Robin St{\"{o}}hr and
                  Armin Wolf},
  title        = {Solving the Extended Job Shop Scheduling Problem with AGVs - Classical
                  and Quantum Approaches},
  journal      = {CoRR},
  volume       = {abs/2109.04830},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.04830},
  eprinttype    = {arXiv},
  eprint       = {2109.04830},
  timestamp    = {Tue, 21 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-04830.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-07212,
  author       = {Cristian Grozea and
                  Ronny Hans and
                  Matthias Koch and
                  Christina Riehn and
                  Armin Wolf},
  title        = {Optimising Rolling Stock Planning including Maintenance with Constraint
                  Programming and Quantum Annealing},
  journal      = {CoRR},
  volume       = {abs/2109.07212},
  year         = {2021},
  url          = {https://arxiv.org/abs/2109.07212},
  eprinttype    = {arXiv},
  eprint       = {2109.07212},
  timestamp    = {Wed, 22 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2109-07212.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HofstedtHJW19,
  author       = {Petra Hofstedt and
                  Walter Hower and
                  Ulrich John and
                  Armin Wolf},
  editor       = {Claude Draude and
                  Martin Lange and
                  Bernhard Sick},
  title        = {{MOC} 2019 - 11. Workshop zur transparenten Modellierung und Optimierung
                  komplexer Probleme},
  booktitle    = {49. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, 50 Jahre
                  Gesellschaft f{\"{u}}r Informatik - Informatik f{\"{u}}r
                  Gesellschaft, {INFORMATIK} 2019 - Workshops, Kassel, Germany, September
                  23-26, 2019},
  series       = {{LNI}},
  volume       = {{P-295}},
  pages        = {383},
  publisher    = {{GI}},
  year         = {2019},
  url          = {https://doi.org/10.18420/inf2019\_ws40},
  doi          = {10.18420/INF2019\_WS40},
  timestamp    = {Tue, 04 Jul 2023 17:43:44 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/HofstedtHJW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Wolf19,
  author       = {Armin Wolf},
  editor       = {Petra Hofstedt and
                  Salvador Abreu and
                  Ulrich John and
                  Herbert Kuchen and
                  Dietmar Seipel},
  title        = {Modular Modeling and Optimized Scheduling of Building Energy Systems
                  Based on Mixed Integer Programming},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2019, Unifying INAP, WLP, and WFLP, Cottbus,
                  Germany, September 9-12, 2019, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12057},
  pages        = {43--58},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-46714-2\_3},
  doi          = {10.1007/978-3-030-46714-2\_3},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/Wolf19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-01767,
  author       = {Armin Wolf},
  title        = {Modular Modeling and Optimized Scheduling of Building Energy Systems
                  based on Mixed Integer Programming},
  journal      = {CoRR},
  volume       = {abs/1909.01767},
  year         = {2019},
  url          = {http://arxiv.org/abs/1909.01767},
  eprinttype    = {arXiv},
  eprint       = {1909.01767},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1909-01767.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HofstedtJW17,
  author       = {Petra Hofstedt and
                  Ulrich John and
                  Armin Wolf},
  editor       = {Maximilian Eibl and
                  Martin Gaedke},
  title        = {{MOC} 2017},
  booktitle    = {47. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Digitale
                  Kulturen, {INFORMATIK} 2017, Chemnitz, Germany, September 25-29, 2017},
  series       = {{LNI}},
  volume       = {{P-275}},
  pages        = {601--602},
  publisher    = {{GI}},
  year         = {2017},
  url          = {https://doi.org/10.18420/in2017\_56},
  doi          = {10.18420/IN2017\_56},
  timestamp    = {Wed, 13 Jan 2021 11:37:14 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/HofstedtJW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Wolf17,
  author       = {Armin Wolf},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Salvador Abreu},
  title        = {The Proportional Constraint and Its Pruning},
  booktitle    = {Declarative Programming and Knowledge Management - Conference on Declarative
                  Programming, {DECLARE} 2017, Unifying INAP, WFLP, and WLP, W{\"{u}}rzburg,
                  Germany, September 19-22, 2017, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10997},
  pages        = {53--63},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-030-00801-7\_4},
  doi          = {10.1007/978-3-030-00801-7\_4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/Wolf17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HofstedtJW15,
  author       = {Petra Hofstedt and
                  Ulrich John and
                  Armin Wolf},
  editor       = {Douglas W. Cunningham and
                  Petra Hofstedt and
                  Klaus Meer and
                  Ingo Schmitt},
  title        = {{MOC} 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten
                  Optimierung komplexer Probleme},
  booktitle    = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik,
                  Energie und Umwelt, {INFORMATIK} 2015, Cottbus, Germany, September
                  28 - October 2, 2015},
  series       = {{LNI}},
  volume       = {{P-246}},
  pages        = {1045--1046},
  publisher    = {{GI}},
  year         = {2015},
  timestamp    = {Wed, 13 Jan 2021 11:09:19 +0100},
  biburl       = {https://dblp.org/rec/conf/gi/HofstedtJW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GoltzW15,
  author       = {Hans{-}Joachim Goltz and
                  Armin Wolf},
  editor       = {Douglas W. Cunningham and
                  Petra Hofstedt and
                  Klaus Meer and
                  Ingo Schmitt},
  title        = {Reservierungsmanager f{\"{u}}r Cloud-Ressourcen mittels constraintbasierter
                  Programmierung},
  booktitle    = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik,
                  Energie und Umwelt, {INFORMATIK} 2015, Cottbus, Germany, September
                  28 - October 2, 2015},
  series       = {{LNI}},
  volume       = {{P-246}},
  pages        = {1097--1102},
  publisher    = {{GI}},
  year         = {2015},
  url          = {https://dl.gi.de/handle/20.500.12116/2263},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/GoltzW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/HofstedtHJKW15,
  author       = {Petra Hofstedt and
                  Walter Hower and
                  Ulrich John and
                  Andreas Kmoch and
                  Armin Wolf},
  editor       = {Douglas W. Cunningham and
                  Petra Hofstedt and
                  Klaus Meer and
                  Ingo Schmitt},
  title        = {Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgew{\"{a}}hlte
                  Herausforderungen und Potenziale f{\"{u}}r die n{\"{a}}chsten
                  Jahre - zur Diskussion},
  booktitle    = {45. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik,
                  Energie und Umwelt, {INFORMATIK} 2015, Cottbus, Germany, September
                  28 - October 2, 2015},
  series       = {{LNI}},
  volume       = {{P-246}},
  pages        = {1135--1138},
  publisher    = {{GI}},
  year         = {2015},
  url          = {https://dl.gi.de/handle/20.500.12116/2268},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/HofstedtHJKW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/WolfUS14,
  author       = {Armin Wolf and
                  Steffen Unger and
                  Marc Schultz},
  editor       = {Erhard Pl{\"{o}}dereder and
                  Lars Grunske and
                  Eric Schneider and
                  Dominik Ull},
  title        = {Eigenverbrauchs- und Kostenoptimierung zur Untersuchung des Einflusses
                  dynamischer Stromtarife auf die Netznutzung},
  booktitle    = {44. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Big Data
                  - Komplexit{\"{a}}t meistern, {INFORMATIK} 2014, Stuttgart, Germany,
                  September 22-26, 2014},
  series       = {{LNI}},
  volume       = {{P-232}},
  pages        = {1645--1656},
  publisher    = {{GI}},
  year         = {2014},
  url          = {https://dl.gi.de/handle/20.500.12116/2773},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/WolfUS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/inap/2011,
  editor       = {Hans Tompits and
                  Salvador Abreu and
                  Johannes Oetsch and
                  J{\"{o}}rg P{\"{u}}hrer and
                  Dietmar Seipel and
                  Masanobu Umeda and
                  Armin Wolf},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {7773},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-41524-1},
  doi          = {10.1007/978-3-642-41524-1},
  isbn         = {978-3-642-41523-4},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ercim/WolfLS13,
  author       = {Armin Wolf and
                  Thomas Luckenbach and
                  Mario Schuster},
  title        = {Smart Demand-Side Response at Home},
  journal      = {{ERCIM} News},
  volume       = {2013},
  number       = {92},
  year         = {2013},
  url          = {http://ercim-news.ercim.eu/en92/special/smart-demand-side-response-at-home},
  timestamp    = {Wed, 22 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ercim/WolfLS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/Wolf12,
  author       = {Armin Wolf},
  title        = {firstCS - New Aspects on Combining Constraint Programming with Object-Orientation
                  in Java},
  journal      = {K{\"{u}}nstliche Intell.},
  volume       = {26},
  number       = {1},
  pages        = {55--60},
  year         = {2012},
  url          = {https://doi.org/10.1007/s13218-011-0161-4},
  doi          = {10.1007/S13218-011-0161-4},
  timestamp    = {Tue, 14 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ki/Wolf12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GeskeW11,
  author       = {Ulrich Geske and
                  Armin Wolf},
  editor       = {Hans{-}Ulrich Hei{\ss} and
                  Peter Pepper and
                  Holger Schlingloff and
                  J{\"{o}}rg Schneider},
  title        = {Deklarative Modellierung und effiziente Optimierung},
  booktitle    = {41. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
                  schafft Communities, {INFORMATIK} 2011, Berlin, Germany, October 4-7,
                  2011, Abstract Proceedings},
  series       = {{LNI}},
  volume       = {{P-192}},
  pages        = {243--246},
  publisher    = {{GI}},
  year         = {2011},
  url          = {https://dl.gi.de/handle/20.500.12116/18611},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/GeskeW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/WeiningerW11,
  author       = {Walter Weininger and
                  Armin Wolf},
  editor       = {Hans{-}Ulrich Hei{\ss} and
                  Peter Pepper and
                  Holger Schlingloff and
                  J{\"{o}}rg Schneider},
  title        = {Optimierte Ablaufpl{\"{a}}ne f{\"{u}}r Ressourcenverbraucher
                  bei zeitvariablen Ressourcentarifen},
  booktitle    = {41. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
                  schafft Communities, {INFORMATIK} 2011, Berlin, Germany, October 4-7,
                  2011, Abstract Proceedings},
  series       = {{LNI}},
  volume       = {{P-192}},
  pages        = {247},
  publisher    = {{GI}},
  year         = {2011},
  url          = {https://dl.gi.de/handle/20.500.12116/18612},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/WeiningerW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SchuttW10,
  author       = {Andreas Schutt and
                  Armin Wolf},
  editor       = {David Cohen},
  title        = {A New \emph{O}(\emph{n}\({}^{\mbox{2}}\)log\emph{n}) Not-First/Not-Last
                  Pruning Algorithm for Cumulative Resource Constraints},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2010 - 16th
                  International Conference, {CP} 2010, St. Andrews, Scotland, UK, September
                  6-10, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6308},
  pages        = {445--459},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15396-9\_36},
  doi          = {10.1007/978-3-642-15396-9\_36},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/SchuttW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GeskeW10,
  author       = {Ulrich Geske and
                  Armin Wolf},
  editor       = {Klaus{-}Peter F{\"{a}}hnrich and
                  Bogdan Franczyk},
  title        = {Deklarative Modellierung und effiziente Optimierung (Vorwort)},
  booktitle    = {40. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Service
                  Science - Neue Perspektiven f{\"{u}}r die Informatik, {INFORMATIK}
                  2010, Leipzig, Germany, September 27 - October 1, 2010, Band 2},
  series       = {{LNI}},
  volume       = {{P-176}},
  pages        = {691--692},
  publisher    = {{GI}},
  year         = {2010},
  url          = {https://dl.gi.de/handle/20.500.12116/19305},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/GeskeW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/WolfGFR10,
  author       = {Armin Wolf and
                  Ulrich Geske and
                  Andrej Finsterbusch and
                  Mario Rothe},
  editor       = {Klaus{-}Peter F{\"{a}}hnrich and
                  Bogdan Franczyk},
  title        = {Constraintbasierte Behandlungsplanung in der Dialyse},
  booktitle    = {40. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Service
                  Science - Neue Perspektiven f{\"{u}}r die Informatik, {INFORMATIK}
                  2010, Leipzig, Germany, September 27 - October 1, 2010, Band 2},
  series       = {{LNI}},
  volume       = {{P-176}},
  pages        = {711--716},
  publisher    = {{GI}},
  year         = {2010},
  url          = {https://dl.gi.de/handle/20.500.12116/19310},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/WolfGFR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/Wolf09,
  author       = {Armin Wolf},
  editor       = {Javier Larrosa and
                  Barry O'Sullivan},
  title        = {Constraint-Based Modeling and Scheduling of Clinical Pathways},
  booktitle    = {Recent Advances in Constraints - 14th Annual {ERCIM} International
                  Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
                  2009, Barcelona, Spain, June 15-17, 2009, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6384},
  pages        = {122--138},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-19486-3\_8},
  doi          = {10.1007/978-3-642-19486-3\_8},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/csclp/Wolf09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GeskeW09,
  author       = {Ulrich Geske and
                  Armin Wolf},
  editor       = {Stefan Fischer and
                  Erik Maehle and
                  R{\"{u}}diger Reischuk},
  title        = {Deklarative Modellierung und effiziente Optimierung},
  booktitle    = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
                  das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
                  28 - October 2, 2009, Proceedings},
  series       = {{LNI}},
  volume       = {{P-154}},
  pages        = {401--403},
  publisher    = {{GI}},
  year         = {2009},
  url          = {https://dl.gi.de/handle/20.500.12116/31323},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/GeskeW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Wolf09,
  author       = {Armin Wolf},
  editor       = {Stefan Fischer and
                  Erik Maehle and
                  R{\"{u}}diger Reischuk},
  title        = {Constraint-Based Task Scheduling with Sequence Dependent Setup Times,
                  Time Windows and Breaks},
  booktitle    = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
                  das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
                  28 - October 2, 2009, Proceedings},
  series       = {{LNI}},
  volume       = {{P-154}},
  pages        = {3205--3219},
  publisher    = {{GI}},
  year         = {2009},
  url          = {https://dl.gi.de/handle/20.500.12116/31327},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Wolf09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GeskeWZ09,
  author       = {Ulrich Geske and
                  Armin Wolf and
                  Raphael Zander},
  editor       = {Stefan Fischer and
                  Erik Maehle and
                  R{\"{u}}diger Reischuk},
  title        = {Constraint-basierte Fahr- und Kapazit{\"{a}}tsplanung f{\"{u}}r
                  ein Stra{\ss}enbahnnetz},
  booktitle    = {39. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Im Focus
                  das Leben, {INFORMATIK} 2009, L{\"{u}}beck, Germany, September
                  28 - October 2, 2009, Proceedings},
  series       = {{LNI}},
  volume       = {{P-154}},
  pages        = {3220--3234},
  publisher    = {{GI}},
  year         = {2009},
  url          = {https://dl.gi.de/handle/20.500.12116/31328},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/GeskeWZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2007,
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Armin Wolf},
  title        = {Applications of Declarative Programming and Knowledge Management,
                  17th International Conference, {INAP} 2007, and 21st Workshop on Logic
                  Programming, {WLP} 2007, W{\"{u}}rzburg, Germany, October 4-6,
                  2007, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5437},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00675-3},
  doi          = {10.1007/978-3-642-00675-3},
  isbn         = {978-3-642-00674-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/2007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GeskeW07,
  author       = {Ulrich Geske and
                  Armin Wolf},
  editor       = {Heinz{-}Gerd Hegering and
                  Axel Lehmann and
                  Hans J{\"{u}}rgen Ohlbach and
                  Christian Scheideler},
  title        = {Declarative Modelling and Efficient Optimization using Constraint
                  Technology},
  booktitle    = {38. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Beherrschbare
                  Systeme - dank Informatik, {INFORMATIK} 2008, Munich, Germany, September
                  8-13, 2008, Band 2},
  series       = {{LNI}},
  volume       = {{P-134}},
  pages        = {515--516},
  publisher    = {{GI}},
  year         = {2008},
  url          = {https://dl.gi.de/handle/20.500.12116/21247},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/GeskeW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/Wolf07,
  author       = {Armin Wolf},
  editor       = {Heinz{-}Gerd Hegering and
                  Axel Lehmann and
                  Hans J{\"{u}}rgen Ohlbach and
                  Christian Scheideler},
  title        = {Impact-Based Search in Constraint-based Scheduling},
  booktitle    = {38. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Beherrschbare
                  Systeme - dank Informatik, {INFORMATIK} 2008, Munich, Germany, September
                  8-13, 2008, Band 2},
  series       = {{LNI}},
  volume       = {{P-134}},
  pages        = {523--528},
  publisher    = {{GI}},
  year         = {2008},
  url          = {https://dl.gi.de/handle/20.500.12116/21269},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Wolf07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/GeskeGW07,
  author       = {Ulrich Geske and
                  Hans{-}Joachim Goltz and
                  Armin Wolf},
  editor       = {Heinz{-}Gerd Hegering and
                  Axel Lehmann and
                  Hans J{\"{u}}rgen Ohlbach and
                  Christian Scheideler},
  title        = {Representation and Processing of Preferential Rules},
  booktitle    = {38. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Beherrschbare
                  Systeme - dank Informatik, {INFORMATIK} 2008, Munich, Germany, September
                  8-13, 2008, Band 2},
  series       = {{LNI}},
  volume       = {{P-134}},
  pages        = {529--534},
  publisher    = {{GI}},
  year         = {2008},
  url          = {https://dl.gi.de/handle/20.500.12116/21280},
  timestamp    = {Tue, 04 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/GeskeGW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/WolfRV08,
  author       = {Armin Wolf and
                  Jacques Robin and
                  Jairson Vitorino},
  editor       = {Tom Schrijvers and
                  Thom W. Fr{\"{u}}hwirth},
  title        = {Adaptive {CHR} Meets CHR\({}^{\mbox{v}}\): An Extended Refined Operational
                  Semantics for CHR\({}^{\mbox{v}}\) Based on Justifications},
  booktitle    = {Constraint Handling Rules, Current Research Topics},
  series       = {Lecture Notes in Computer Science},
  volume       = {5388},
  pages        = {48--69},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-92243-8\_3},
  doi          = {10.1007/978-3-540-92243-8\_3},
  timestamp    = {Tue, 14 May 2019 10:00:55 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/WolfRV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0034544,
  author       = {Petra Hofstedt and
                  Armin Wolf},
  title        = {Einf{\"{u}}hrung in die Constraint-Programmierung - Grundlagen,
                  Methoden, Sprachen, Anwendungen},
  series       = {eXamen.press},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-68194-6},
  doi          = {10.1007/978-3-540-68194-6},
  isbn         = {978-3-540-23184-4},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0034544.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jucs/RobinVW07,
  author       = {Jacques Robin and
                  Jairson Vitorino and
                  Armin Wolf},
  title        = {Constraint Programming Architectures: Review and a New Proposal},
  journal      = {J. Univers. Comput. Sci.},
  volume       = {13},
  number       = {6},
  pages        = {701--720},
  year         = {2007},
  url          = {https://doi.org/10.3217/jucs-013-06-0701},
  doi          = {10.3217/JUCS-013-06-0701},
  timestamp    = {Thu, 07 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jucs/RobinVW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/WolfS07,
  author       = {Armin Wolf and
                  Gunnar Schrader},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Armin Wolf},
  title        = {Linear Weighted-Task-Sum - Scheduling Prioritized Tasks on a Single
                  Resource},
  booktitle    = {Applications of Declarative Programming and Knowledge Management,
                  17th International Conference, {INAP} 2007, and 21st Workshop on Logic
                  Programming, {WLP} 2007, W{\"{u}}rzburg, Germany, October 4-6,
                  2007, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5437},
  pages        = {21--37},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-642-00675-3\_2},
  doi          = {10.1007/978-3-642-00675-3\_2},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/WolfS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Wolf06,
  author       = {Armin Wolf},
  editor       = {Michael Fink and
                  Hans Tompits and
                  Stefan Woltran},
  title        = {Object-Oriented Constraint Programming in Java Using the Library firstcs},
  booktitle    = {20th Workshop on Logic Programming, Vienna, Austria, February 22--24,
                  2006},
  series       = {{INFSYS} Research Report},
  volume       = {1843-06-02},
  pages        = {21--32},
  publisher    = {Technische Universit{\"{a}}t Wien, Austria},
  year         = {2006},
  url          = {http://www.kr.tuwien.ac.at/wlp06/T01-final.ps.gz},
  timestamp    = {Thu, 16 Nov 2017 07:57:26 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Wolf06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/inap/2005,
  editor       = {Masanobu Umeda and
                  Armin Wolf and
                  Oskar Bartenstein and
                  Ulrich Geske and
                  Dietmar Seipel and
                  Osamu Takata},
  title        = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {4369},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11963578},
  doi          = {10.1007/11963578},
  isbn         = {3-540-69233-9},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Wolf05,
  author       = {Armin Wolf},
  title        = {Intelligent search strategies based on adaptive Constraint Handling
                  Rules},
  journal      = {Theory Pract. Log. Program.},
  volume       = {5},
  number       = {4-5},
  pages        = {567--594},
  year         = {2005},
  url          = {https://doi.org/10.1017/S1471068405002383},
  doi          = {10.1017/S1471068405002383},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/Wolf05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/SchuttWS05,
  author       = {Andreas Schutt and
                  Armin Wolf and
                  Gunnar Schrader},
  editor       = {Masanobu Umeda and
                  Armin Wolf and
                  Oskar Bartenstein and
                  Ulrich Geske and
                  Dietmar Seipel and
                  Osamu Takata},
  title        = {Not-First and Not-Last Detection for Cumulative Scheduling in \emph{O}(\emph{n}\({}^{\mbox{3}}\)log\emph{n})},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {4369},
  pages        = {66--80},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11963578\_6},
  doi          = {10.1007/11963578\_6},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/SchuttWS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/WolfS05,
  author       = {Armin Wolf and
                  Gunnar Schrader},
  editor       = {Masanobu Umeda and
                  Armin Wolf and
                  Oskar Bartenstein and
                  Ulrich Geske and
                  Dietmar Seipel and
                  Osamu Takata},
  title        = {\emph{O}(\emph{n} log\emph{n}) Overload Checking for the Cumulative
                  Constraint and Its Application},
  booktitle    = {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},
  series       = {Lecture Notes in Computer Science},
  volume       = {4369},
  pages        = {88--101},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11963578\_8},
  doi          = {10.1007/11963578\_8},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/WolfS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/WolfMH05,
  author       = {Armin Wolf and
                  Henry M{\"{u}}ller and
                  Matthias Hoche},
  editor       = {Armin Wolf and
                  Thom W. Fr{\"{u}}hwirth and
                  Marc Meister},
  title        = {Towards an Object-Oriented Modeling of Constraint Problems},
  booktitle    = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February
                  21-23, 2005},
  series       = {Ulmer Informatik-Berichte},
  volume       = {2005-01},
  pages        = {41--52},
  publisher    = {Universit{\"{a}}t Ulm, Germany},
  year         = {2005},
  timestamp    = {Fri, 25 Feb 2005 15:14:47 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/WolfMH05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wlp/2005,
  editor       = {Armin Wolf and
                  Thom W. Fr{\"{u}}hwirth and
                  Marc Meister},
  title        = {19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February
                  21-23, 2005},
  series       = {Ulmer Informatik-Berichte},
  volume       = {2005-01},
  publisher    = {Universit{\"{a}}t Ulm, Germany},
  year         = {2005},
  url          = {http://www.informatik.uni-ulm.de/epin/pw/11541},
  timestamp    = {Fri, 25 Feb 2005 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/2005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/Wolf04,
  author       = {Armin Wolf},
  editor       = {Boi Faltings and
                  Adrian Petcu and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi},
  title        = {Better Propagation for Non-preemptive Single-Resource Constraint Problems},
  booktitle    = {Recent Advances in Constraints, Joint ERCIM/CoLogNet International
                  Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
                  2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and
                  Invited Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3419},
  pages        = {201--215},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11402763\_15},
  doi          = {10.1007/11402763\_15},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/Wolf04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/WolfS04,
  author       = {Armin Wolf and
                  Hans Schlenker},
  editor       = {Dietmar Seipel and
                  Michael Hanus and
                  Ulrich Geske and
                  Oskar Bartenstein},
  title        = {Realising the Alternative Resources Constraint},
  booktitle    = {Applications of Declarative Programming and Knowledge Management,
                  15th International Conference on Applications of Declarative Programming
                  and Knowledge Management, {INAP} 2004, and 18th Workshop on Logic
                  Programming, {WLP} 2004, Potsdam, Germany, March 4-6, 2004, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3392},
  pages        = {185--199},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/11415763\_12},
  doi          = {10.1007/11415763\_12},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/WolfS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0411016,
  author       = {Armin Wolf},
  title        = {Intelligent search strategies based on adaptive Constraint Handling
                  Rules},
  journal      = {CoRR},
  volume       = {cs.AI/0411016},
  year         = {2004},
  url          = {http://arxiv.org/abs/cs.AI/0411016},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/cs-AI-0411016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Wolf03,
  author       = {Armin Wolf},
  editor       = {Francesca Rossi},
  title        = {Pruning while Sweeping over Task Intervals},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
                  International Conference, {CP} 2003, Kinsale, Ireland, September 29
                  - October 3, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2833},
  pages        = {739--753},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45193-8\_50},
  doi          = {10.1007/978-3-540-45193-8\_50},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/cp/Wolf03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csclp/Wolf03,
  author       = {Armin Wolf},
  editor       = {Krzysztof R. Apt and
                  Fran{\c{c}}ois Fages and
                  Francesca Rossi and
                  P{\'{e}}ter Szeredi and
                  J{\'{o}}zsef V{\'{a}}ncza},
  title        = {Reduce-To-The-Opt - {A} Specialized Search Algorithm for Contiguous
                  Task Scheduling},
  booktitle    = {Recent Advances in Constraints, Joint ERCIM/CoLogNET International
                  Workshop on Constraint Solving and Constraint Logic Programming, {CSCLP}
                  2003, Budapest, Hungary, June 30 - July 2, 2003, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3010},
  pages        = {223--232},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24662-6\_12},
  doi          = {10.1007/978-3-540-24662-6\_12},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/csclp/Wolf03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Wolf01,
  author       = {Armin Wolf},
  editor       = {Toby Walsh},
  title        = {Adaptive Constraint Handling with {CHR} in Java},
  booktitle    = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
                  International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
                  December 1, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2239},
  pages        = {256--270},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45578-7\_18},
  doi          = {10.1007/3-540-45578-7\_18},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Wolf01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Wolf01,
  author       = {Armin Wolf},
  title        = {Attributed Variables for Dynamic Constraint Solving},
  booktitle    = {Proceedings of the 14th International Conference on Applications of
                  Prolog, {INAP} 2001, University of Tokyo, Tokyo, Japan, October 20-22,
                  2001},
  pages        = {211--219},
  publisher    = {The Prolog Association of Japan},
  year         = {2001},
  timestamp    = {Wed, 28 Jun 2017 14:25:33 +0200},
  biburl       = {https://dblp.org/rec/conf/inap/Wolf01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/WolfGG00,
  author       = {Armin Wolf and
                  Thomas Gruenhagen and
                  Ulrich Geske},
  title        = {On the Incremental Adaptation of {CHR} Derivations},
  journal      = {Appl. Artif. Intell.},
  volume       = {14},
  number       = {4},
  pages        = {389--416},
  year         = {2000},
  url          = {https://doi.org/10.1080/088395100117052},
  doi          = {10.1080/088395100117052},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aai/WolfGG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/RingwelskiWG00,
  author       = {Georg Ringwelski and
                  Armin Wolf and
                  Ulrich Geske},
  editor       = {Fran{\c{c}}ois Bry and
                  Ulrich Geske and
                  Dietmar Seipel},
  title        = {Implementierung von built-in Constraints f{\"{u}}r endliche Wertebereiche
                  in Minerva},
  booktitle    = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
                  26.-28. Januar 2000},
  series       = {{GMD} Report},
  volume       = {90},
  pages        = {89--100},
  year         = {2000},
  timestamp    = {Sat, 07 Sep 2019 11:59:25 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/RingwelskiWG00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:books/daglib/0099123,
  author       = {Armin Wolf},
  title        = {Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - ein
                  allgemeiner Ansatz zur L{\"{o}}sung dynamischer Constraint-Probleme},
  school       = {Technical University of Berlin, Germany},
  year         = {1999},
  url          = {https://d-nb.info/957771215},
  isbn         = {978-3-89601-219-7},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/0099123.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compulog/Wolf99,
  author       = {Armin Wolf},
  editor       = {Krzysztof R. Apt and
                  Antonis C. Kakas and
                  {\'{E}}ric Monfroy and
                  Francesca Rossi},
  title        = {Projection in Adaptive Constraint Handling},
  booktitle    = {New Trends in Contraints, Joint ERCIM/Compulog Net Workshop, Paphos,
                  Cyprus, October 25-27, 1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1865},
  pages        = {318--338},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/3-540-44654-0\_16},
  doi          = {10.1007/3-540-44654-0\_16},
  timestamp    = {Tue, 23 Jan 2024 13:25:46 +0100},
  biburl       = {https://dblp.org/rec/conf/compulog/Wolf99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jetai/Wolf98,
  author       = {Armin Wolf},
  title        = {Solving hierarchies of finite-domain constraints},
  journal      = {J. Exp. Theor. Artif. Intell.},
  volume       = {10},
  number       = {1},
  pages        = {130--142},
  year         = {1998},
  url          = {https://doi.org/10.1080/095281398146969},
  doi          = {10.1080/095281398146969},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jetai/Wolf98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Wolf98,
  author       = {Armin Wolf},
  editor       = {Michael J. Maher and
                  Jean{-}Francois Puget},
  title        = {Adaptive Solving of Equations over Rational Trees},
  booktitle    = {Principles and Practice of Constraint Programming - CP98, 4th International
                  Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1520},
  pages        = {475},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49481-2\_46},
  doi          = {10.1007/3-540-49481-2\_46},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Wolf98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2-4/GeskeGJW98,
  author       = {Ulrich Geske and
                  Hans{-}Joachim Goltz and
                  Ulrich John and
                  Armin Wolf},
  editor       = {R. Nigel Horspool},
  title        = {The constraint logic paradigm: declarativity, efficiency and flexibility},
  booktitle    = {Systems Implementation 2000, {IFIP} {TC2} {WG2.4} Working Conference
                  on Systems Implementation 2000: Languages, methods and tools, 23-26
                  February 1998, Berlin, Germany},
  series       = {{IFIP} Conference Proceedings},
  volume       = {117},
  pages        = {59--71},
  publisher    = {Chapman {\&} Hall},
  year         = {1998},
  timestamp    = {Tue, 19 Jun 2018 07:59:20 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip2-4/GeskeGJW98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/BoulangerFGGJNSW97,
  author       = {Dmitri Boulanger and
                  Andreas Fordan and
                  Ulrich Geske and
                  Hans{-}Joachim Goltz and
                  Ulrich John and
                  Alexander Nareyek and
                  Andr{\'{e}} Schiemann and
                  Armin Wolf},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Constraint-basierte Planung und Konfiguration (system description)},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/BoulangerFGGJNSW97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Wolf97,
  author       = {Armin Wolf},
  editor       = {Fran{\c{c}}ois Bry and
                  Burkhard Freitag and
                  Dietmar Seipel},
  title        = {Adaptiv-inkrementelle Unifikation},
  booktitle    = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
                  M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
  publisher    = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
  year         = {1997},
  timestamp    = {Wed, 07 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wlp/Wolf97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/Wolf95,
  author       = {Armin Wolf},
  editor       = {Michael Jampel and
                  Eugene C. Freuder and
                  Michael J. Maher},
  title        = {Transforming Ordered Constraint Hierarchies into Ordinary Constraint
                  Systems},
  booktitle    = {Over-Constrained Systems},
  series       = {Lecture Notes in Computer Science},
  volume       = {1106},
  pages        = {171--187},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-61479-6\_21},
  doi          = {10.1007/3-540-61479-6\_21},
  timestamp    = {Tue, 14 May 2019 10:00:45 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/Wolf95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Wolf95,
  author       = {Armin Wolf},
  editor       = {Andreas Krall and
                  Ulrich Geske},
  title        = {Integration of Ordered Constraint Hierarchies Based on a Non-Trivial
                  Error Function in {CLP(FD)}},
  booktitle    = {11. Workshop Logische Programmierung, Technische Universit{\"{a}}t
                  Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270},
  pages        = {143--149},
  year         = {1995},
  timestamp    = {Thu, 21 Mar 2019 11:27:24 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Wolf95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Wolf94,
  author       = {Armin Wolf},
  editor       = {Norbert E. Fuchs and
                  Georg Gottlob},
  title        = {Erweiterte Modellierung mit linearen Constraints und deren Einbettung
                  in bestehende constraintlogische Programmiersprachen},
  booktitle    = {Proceedings of the Tenth Logic Programming Workshop, {WLP} 94, 5-7
                  Octobert 1994, Univerity of Zurich, Switzerland. Technical Report
                  94/10},
  pages        = {142--145},
  publisher    = {Institut f{\"{u}}r Informatik der Universit{\"{a}}t Z{\"{u}}rich},
  year         = {1994},
  timestamp    = {Thu, 21 Mar 2019 11:19:43 +0100},
  biburl       = {https://dblp.org/rec/conf/wlp/Wolf94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics