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

Kasper, Thomas

Local TagsRelease HistoryDetailsSummary

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

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

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-3725-C Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-AD07-A

Genre: Thesis

Files

show Files

Locators

show

Creators

show

hide

Creators:
Kasper, Thomas¹, Author

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045

Content

show

Details

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Accepted: 1998-12-23Date issued: 1998

Publication Status: Issued

Pages: -

Publishing info: Saarbrücken : Universität des Saarlandes

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519684
Other: Local-ID: C1256104005ECAFC-01DDA49C6FF1D250C12566FF00456AA6-KasperDiss1998

Degree: PhD

Event

show

Legal Case

show

Project information

show

Source

show