Petra Hofstedt

Proceedings of the KI 2020: Advances in Artificial Intelligence, 2020

An Introduction of FD-Complete Constraints.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations, 2020

Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach.

[BibT_eX]

[DOI]

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

Constraints.

[BibT_eX]

[DOI]

Proceedings of the Handbuch der Künstlichen Intelligenz, 6. Auflage, 2020

2019

Pre-proceedings of the DECLARE 2019 Conference.

[BibT_eX]

[DOI]

CoRR, 2019

Parallel Stochastic Portfolio Search for Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2019

The Regularization of Small Sub-Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming and Knowledge Management, 2019

Exploring Properties of Icosoku by Constraint Satisfaction Approach.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming and Knowledge Management, 2019

Solving the Talent Scheduling Problem by Parallel Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations, 2019

Decomposing Constraint Satisfaction Problems by Means of Meta Constraint Satisfaction Optimization Problems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

A Meta Constraint Satisfaction Optimization Problem for the Optimization of Regular Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Solving the Social Golfers Problems by Constraint Programming in Sequential and Parallel.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Agents and Artificial Intelligence, 2019

Social Golfer Problem Revisited.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 11th International Conference, 2019

MOC 2019 - 11. Workshop zur transparenten Modellierung und Optimierung komplexer Probleme.

[BibT_eX]

[DOI]

Proceedings of the 49. Jahrestagung der Gesellschaft für Informatik, 50 Jahre Gesellschaft für Informatik - Informatik für Gesellschaft, INFORMATIK 2019, 2019

2018

Solving the Traveling Tournament Problem with Predefined Venues by Parallel Constraint Programming.

[BibT_eX]

[DOI]

Proceedings of the Mining Intelligence and Knowledge Exploration, 2018

Computergestützte Methoden der Interpretation. Perspektiven einer digitalen Medienwissenschaft.

[BibT_eX]

[DOI]

Proceedings of the GI-Workshop: Im Spannungsfeld zwischen Tool-Building und Forschung auf Augenhöhe, 2018

The Regularization of CSPs for Rostering, Planning and Resource Management Problems.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence Applications and Innovations, 2018

2017

Hypertree Decomposition: The First Step Towards Parallel Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming and Knowledge Management, 2017

The Power of Regular Constraints in CSPs.

[BibT_eX]

[DOI]

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

Using Hypertree Decomposition for Parallel Constraint Solving.

[BibT_eX]

[DOI]

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

MOC 2017.

[BibT_eX]

[DOI]

Ulrich John

Armin Wolf

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2016

Using internet of things technology to create a really platform independent robotics framework.

[BibT_eX]

[DOI]

Peter Sauer

Tom Hausten

Proceedings of the IEEE International Symposium on Systems Engineering, 2016

2015

Configurable Domain Objects for Resource Modelling in Treatment Scheduling.

[BibT_eX]

[DOI]

Denny Schneeweiss

Int. J. Softw. Eng. Knowl. Eng., 2015

Formale Verifikation von eingebetteter Software für das Betriebssystem Contiki unter Berücksichtigung von Interrupts.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

Divide & Conquer - Komplexe Constraint-Probleme durch Aufteilen lösen.

[BibT_eX]

[DOI]

Peter Sauer

Denny Schneeweiß

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

MOC 2015 - 7.Workshop zur Deklarativen Modellierung und effizienten Optimierung komplexer Probleme.

[BibT_eX]

Ulrich John

Armin Wolf

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

Deklarative Modellierung und effiziente Optimierung - quo vadis? Ausgewählte Herausforderungen und Potenziale für die nächsten Jahre - zur Diskussion.

[BibT_eX]

[DOI]

Proceedings of the 45. Jahrestagung der Gesellschaft für Informatik, Informatik, Energie und Umwelt, INFORMATIK 2015, Cottbus, Germany, September 28, 2015

Formal Verification of Software for the Contiki Operating System Considering Interrupts.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2015

2014

Configurable Resource Models for Treatment Planning in the Medical Domain.

[BibT_eX]

[DOI]

Denny Schneeweiss

Proceedings of the 8th International Conference on Bio-inspired Information and Communications Technologies, 2014

2013

Design space exploration for cyber physical system design using constraint solving.

[BibT_eX]

[DOI]

Proceedings of the 2013 Forum on specification and Design Languages, 2013

Constraints.

[BibT_eX]

[DOI]

Proceedings of the Handbuch der Künstlichen Intelligenz, 5. Auflage, 2013

2012

Constraint-basierte Programmiersprachen - Von den Ursprüngen in der logischen Programmierung bis zu heutigen Anwendungen.

[BibT_eX]

[DOI]

Thomas König

Künstliche Intell., 2012

Interview with Pascal Van Hentenryck on Constraint-Based Programming.

[BibT_eX]

[DOI]

Thomas König

Künstliche Intell., 2012

Die Evolution der Programmiersprachen der KI.

[BibT_eX]

[DOI]

Künstliche Intell., 2012

Themenschwerpunkt "Sprachen der KI".

[BibT_eX]

[DOI]

Künstliche Intell., 2012

Bounded model checking of Contiki applications.

[BibT_eX]

[DOI]

Thilo Vörtler

Steffen Rülke

Proceedings of the IEEE 15th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2012

2011

Formale Verifikation von Contiki-Anwendungen.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

FdConfig: A Constraint-Based Interactive Product Configurator.

[BibT_eX]

[DOI]

Denny Schneeweiss

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

Multiparadigm Constraint Programming Languages.

[BibT_eX]

[DOI]

Cognitive Technologies, Springer, ISBN: 978-3-642-17329-5, 2011

2010

Constraint-Based Object-Oriented Programming.

[BibT_eX]

[DOI]

IEEE Softw., 2010

Realizing evaluation strategies by hierarchical graph rewriting

[BibT_eX]

[DOI]

CoRR, 2010

The Multiparadigm Programming Language CCFL.

[BibT_eX]

[DOI]

Proceedings of the 40. Jahrestagung der Gesellschaft für Informatik, Service Science - Neue Perspektiven für die Informatik, INFORMATIK 2010, Leipzig, Germany, September 27, 2010

2009

Constraint Functional Multicore Programming.

[BibT_eX]

[DOI]

Florian Lorenzen

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009

2007

Integration of declarative and constraint programming.

[BibT_eX]

[DOI]

Peter Pepper

Theory Pract. Log. Program., 2007

Einführung in die Constraint-Programmierung - Grundlagen, Methoden, Sprachen, Anwendungen.

[BibT_eX]

[DOI]

Armin Wolf

eXamen.press, Springer, ISBN: 978-3-540-23184-4, 2007

2006

Solution Strategies for Multi-domain Constraint Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2006

Funktionale Programmierung - Sprachdesign und Programmiertechnik.

[BibT_eX]

[DOI]

Peter Pepper

eXamen.press, Springer, ISBN: 978-3-540-20959-1, 2006

2005

Meta-S - Combining Solver Cooperation and Programming Languages.

[BibT_eX]

Dirk Reckmann

Proceedings of the 19th Workshop on (Constraint) Logic Programming, 2005

TURTLE++ - A CIP-Library for C++.

[BibT_eX]

[DOI]

Olaf Krzikalla

Proceedings of the Declarative Programming for Knowledge Management, 2005

2004

Strategies for the Efficient Solution of Hybrid Constraint Logic Programs.

[BibT_eX]

Dirk Reckmann

Proceedings of the 14th International Workshop on Logic Programming Environments, 2004

2003

Turtle: A Constraint Imperative Programming Language.

[BibT_eX]

[DOI]

Martin Grabmüller

Proceedings of the Research and Development in Intelligent Systems XX, 2003

A Flexible Meta-solver Framework for Constraint Solver Collaboration.

[BibT_eX]

[DOI]

Pierre R. Mai

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

Meta-S: A Strategy-Oriented Meta-Solver Framework.

[BibT_eX]

[DOI]

Pierre R. Mai

Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, 2003

2002

Spatial Inference - Learning vs. Constraint Solving.

[BibT_eX]

[DOI]

Carsten Gips

Fritz Wysotzki

Proceedings of the KI 2002: Advances in Artificial Intelligence, 2002

A General Approach for Building Constraint Languages.

[BibT_eX]

[DOI]

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001

Cooperation and coordination of constraint solvers.

[BibT_eX]

[DOI]

PhD thesis, 2001

2000

Cooperating Constraint Solvers.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2000

Better Communication for Tighter Cooperation.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1998

Task Parallel Skeletons for Irregularly Structured Programs.

[BibT_eX]

[DOI]