Publications
Thesis (Server halma.mpi-inf.mpg.de)
Thesis
Doctoral dissertation | @PhdThesis{Barth-Diss, ... | Doktorarbeit
Barth, Peter
Logic-based 0-1 Constraint Solving in Constraint Logic Programming
Fachbereich Informatik, Universität des Saarlandes, Germany, February, 1995, 187 pages
Harald Ganzinger
Completed
28
February
1995
Petersen
Max-Planck-Institut für Informatik
Programming Logics Group
experts only
MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography
BibTeX Entry:
@PHDTHESIS{Barth-Diss,
AUTHOR = {Barth, Peter},
TITLE = {Logic-based 0-1 Constraint Solving in Constraint Logic Programming},
SCHOOL = {Fachbereich Informatik, Universit{\"a}t des Saarlandes, Germany},
YEAR = {1995},
TYPE = {Doctoral dissertation}
PAGES = {187},
MONTH = {February},
}
AUTHOR = {Barth, Peter},
TITLE = {Logic-based 0-1 Constraint Solving in Constraint Logic Programming},
SCHOOL = {Fachbereich Informatik, Universit{\"a}t des Saarlandes, Germany},
YEAR = {1995},
TYPE = {Doctoral dissertation}
PAGES = {187},
MONTH = {February},
}
Entry last modified by Christine Kiesel, 03/12/2010
Edit History (please click the blue arrow to see the details) | Editor(s) Uwe Brahm | Created 01/14/1995 06:53:30 PM |
| Revisions 15. 14. 13. 12. 11. | Editor(s) Christine Kiesel Christine Kiesel Christine Kiesel Uwe Brahm/MPII/DE Uwe Brahm/MPII/DE | Edit Dates 02/12/96 09:05:51 02/12/96 08:57:53 02/12/96 08:53:07 29/03/96 11:24:20 14/12/95 10:40:54 |