Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Armin Wolf
@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} }
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.