Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Doctoral dissertation | @PhdThesis{KasperDiss1998, ... | Doktorarbeit
Kasper, Thomas
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},
}
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},
}
Entry last modified by Uwe Brahm, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Thomas Kasper | Created 01/20/1999 01:38:12 PM |
| Revisions 2. 1. 0. | Editor(s) Uwe Brahm Uwe Brahm Thomas Kasper | Edit Dates 01.04.99 11:27:58 01.04.99 11:27:35 20/01/99 13:38:13 |