Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Efficient Constraint Solving in Dynamic Languages vorgelegt von Diplom-Informatiker

Stephan Frank
Von Fakultät
Iv Elektrotechnik Informatik
Der Technischen Universität Berlin
Doktor Der Ingenieurwissenschaften

Publication date

January 2011

Abstract

Die Integration von Constraints in eine Programmiersprache ermöglicht die elegant

Extracted data

Related items

Termination of Constraint Handling Rules

Paolo Pilozzi
Danny De Schreye

January 2015

Constraint Handling Rules (CHR) [8] is a high-level programming language, designed for the easy impl...

Optimizing compilation and computational complexity of Constraint Handling Rules - Ph.D. thesis summary

Sneyers, Jon

July 2009

Constraint Handling Rules [1,2] is a high-level programming language extension based on multi-headed...

Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints ueber endlichen Mengen

Nareyek, A. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
GMD - Forschungszentrum Informationstechnik GmbH, St. Augustin (Germany)

January 1998

SIGLEAvailable from TIB Hannover: RR 8957(1998,1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Effizientes Constraintlösen in dynamischen Sprachen

Frank, Stephan

May 2011

Die Verwendung von Constraints ermöglicht die deklarative Beschreibung von Problemen mit unvollständ...

Technische Universität Berlin
Fakultät Iv (elektrotechnik Und Informatik
Prüfer Prof
Betreuerin Dr. Petra Hofstedt
Fachgebiet Übersetzerbau Und Programmiersprachen
Martin Grabmüller (matr-nr
Petra Hofstedt
Thema Constraint-imperative Programmierung
Cip Constraint-imperative Programmierung

February 2008

die angeben, wie durch die Modifikation des Programmzustands die Lösung eines Problems berechnet wir...

Programmieren mit Constraints

Güsgen, H.-W.
Fidelak, M.

January 1988

Gegenstand dieses Artikels ist die Programmierung mit Constraints. Betrachtet man die Mechanismen, m...

ConstraintProgrammingExtensions.jl: An MOI/JuMP extension for constraint programming

Cuvelier, Thibaut

July 2021

International audienceConstraint programming is a modelling paradigm that has proved to be extremely...

Dynamic algorithms for classes of constraint satisfaction problems

Daniele, Frigioni
Alberto Marchetti, Spaccamela
Nanni, Umberto

January 2001

Many fundamental tasks in artificial intelligence and in combinatorial optimization can be formulate...

Constraint Programming Constraint Programming

Prof Dr. Thom Frühwirth
Slim Abdennadher
Prime Number

August 2015

Constraint Programming represents one of the closest approaches computer science has yet made to the...

Analyses, Optimizations and Extensions of Constraint Handling Rules (Analyses, optimalisaties en uitbreidingen van constraint handling rules)

Schrijvers, Tom

June 2005

Constraint Handling Rules (CHR) is een programmeertaal gebaseerd op rege ls die ingebed wordt in ee...

SCIL - Symbolic Constraints in Integer Linear Programming

Althaus, Ernst
Bockmayr, Alexander
Elf, Matthias
Kasper, Thomas
Jünger, Michael
Mehlhorn, Kurt

January 2002

Colloque avec actes et comité de lecture. internationale.International audienceWe describe a new sof...

Analyses, Optimizations and Extensions of Constraint Handling Rules

Tom Schrijvers

January 2005

This is a summary of the Ph.D. thesis of Tom Schrijvers [4]. Constraint Handling Rules (CHR) [3] is ...

Modelling Dynamic Programming-based global constraints in Constraint Programming

Visentin, Andrea
Prestwich, Steven D.
Rossi, Roberto
Tarim, S. Armagan

June 2019

Dynamic Programming (DP) can solve many complex problems in polynomial or pseudo-polynomial time, an...

Implementing Constraint Solvers: Theory and Practice

Slim Abdennadher
Thom Fruhwirth
Holger Meuss

November 2007

Our research is based on Constraint Handling Rules (CHR), a powerful language for writing constraint...

CONSTRAINT SOLVING WITH CONSTRAINT HANDLING

Thom Fr

September 2015

www.pst.informatik.uni-muenchen.de/fruehwir/ We describe how constraints are solved in constraint lo...

Termination of Constraint Handling Rules

Paolo Pilozzi
Danny De Schreye

January 2015

Constraint Handling Rules (CHR) [8] is a high-level programming language, designed for the easy impl...

Optimizing compilation and computational complexity of Constraint Handling Rules - Ph.D. thesis summary

Sneyers, Jon

July 2009

Constraint Handling Rules [1,2] is a high-level programming language extension based on multi-headed...

Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints ueber endlichen Mengen

Nareyek, A. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
GMD - Forschungszentrum Informationstechnik GmbH, St. Augustin (Germany)

January 1998

SIGLEAvailable from TIB Hannover: RR 8957(1998,1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...

Effizientes Constraintlösen in dynamischen Sprachen

Frank, Stephan

May 2011

Die Verwendung von Constraints ermöglicht die deklarative Beschreibung von Problemen mit unvollständ...

Technische Universität Berlin
Fakultät Iv (elektrotechnik Und Informatik
Prüfer Prof
Betreuerin Dr. Petra Hofstedt
Fachgebiet Übersetzerbau Und Programmiersprachen
Martin Grabmüller (matr-nr
Petra Hofstedt
Thema Constraint-imperative Programmierung
Cip Constraint-imperative Programmierung

February 2008

die angeben, wie durch die Modifikation des Programmzustands die Lösung eines Problems berechnet wir...

Programmieren mit Constraints

Güsgen, H.-W.
Fidelak, M.

January 1988

Gegenstand dieses Artikels ist die Programmierung mit Constraints. Betrachtet man die Mechanismen, m...

ConstraintProgrammingExtensions.jl: An MOI/JuMP extension for constraint programming

Cuvelier, Thibaut

July 2021

International audienceConstraint programming is a modelling paradigm that has proved to be extremely...

Dynamic algorithms for classes of constraint satisfaction problems

Daniele, Frigioni
Alberto Marchetti, Spaccamela
Nanni, Umberto

January 2001

Many fundamental tasks in artificial intelligence and in combinatorial optimization can be formulate...

Constraint Programming Constraint Programming

Prof Dr. Thom Frühwirth
Slim Abdennadher
Prime Number

August 2015

Constraint Programming represents one of the closest approaches computer science has yet made to the...

Analyses, Optimizations and Extensions of Constraint Handling Rules (Analyses, optimalisaties en uitbreidingen van constraint handling rules)

Schrijvers, Tom

June 2005

Constraint Handling Rules (CHR) is een programmeertaal gebaseerd op rege ls die ingebed wordt in ee...

SCIL - Symbolic Constraints in Integer Linear Programming

Althaus, Ernst
Bockmayr, Alexander
Elf, Matthias
Kasper, Thomas
Jünger, Michael
Mehlhorn, Kurt

January 2002

Colloque avec actes et comité de lecture. internationale.International audienceWe describe a new sof...

Analyses, Optimizations and Extensions of Constraint Handling Rules

Tom Schrijvers

January 2005

This is a summary of the Ph.D. thesis of Tom Schrijvers [4]. Constraint Handling Rules (CHR) [3] is ...

Modelling Dynamic Programming-based global constraints in Constraint Programming

Visentin, Andrea
Prestwich, Steven D.
Rossi, Roberto
Tarim, S. Armagan

June 2019

Dynamic Programming (DP) can solve many complex problems in polynomial or pseudo-polynomial time, an...

Implementing Constraint Solvers: Theory and Practice

Slim Abdennadher
Thom Fruhwirth
Holger Meuss

November 2007

Our research is based on Constraint Handling Rules (CHR), a powerful language for writing constraint...

CONSTRAINT SOLVING WITH CONSTRAINT HANDLING

Thom Fr

September 2015

www.pst.informatik.uni-muenchen.de/fruehwir/ We describe how constraints are solved in constraint lo...

Termination of Constraint Handling Rules

Paolo Pilozzi
Danny De Schreye

January 2015

Constraint Handling Rules (CHR) [8] is a high-level programming language, designed for the easy impl...

Optimizing compilation and computational complexity of Constraint Handling Rules - Ph.D. thesis summary

Sneyers, Jon

July 2009

Constraint Handling Rules [1,2] is a high-level programming language extension based on multi-headed...

Algorithmen zur Modellierung und effizienten Verarbeitung disjunktiver Constraints ueber endlichen Mengen

Nareyek, A. (Gesellschaft fuer Mathematik und Datenverarbeitung mbH, Berlin (Germany). Forschungsinstitut fuer Rechnerarchitektur und Softwaretechnik)
GMD - Forschungszentrum Informationstechnik GmbH, St. Augustin (Germany)

January 1998

SIGLEAvailable from TIB Hannover: RR 8957(1998,1) / FIZ - Fachinformationszzentrum Karlsruhe / TIB -...