A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming
Universität des Saarlandes, December, 1998
Prof. Dr. Alexander Bockmayr
Prof. Dr. Kurt Mehlhorn
Prof. Dr. Alexander Bockmayr
Completed
23
December
1998
Prof. Dr. Gert Smolka
Max-Planck-Institut für Informatik
Programming Logics Group
experts only
MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography
BibTeX Entry:
@PHDTHESIS{KasperDiss1998,
AUTHOR = {Kasper, Thomas},
TITLE = {A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1998},
TYPE = {Doctoral dissertation}
MONTH = {December},
}