A Unifying Logical Framework for Integer Linear Programming and Finite Domain 
Constraint Programming

Kasper, Thomas

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Thesis

A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming

MPS-Authors

/persons/resource/persons44739

Kasper, Thomas
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

There are no public fulltexts stored in PuRe

Supplementary Material (public)

There is no public supplementary material available

Citation

Kasper, T. (1998). A Unifying Logical Framework for Integer Linear Programming and Finite Domain Constraint Programming. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Cite as: https://hdl.handle.net/11858/00-001M-0000-000F-3725-C

Abstract

There is no abstract available