Logic-based 0-1 Constraint Solving in Constraint Logic Programming

Local TagsRelease HistoryDetailsSummary

Logic-based 0-1 Constraint Solving in Constraint Logic Programming

Barth, P. (1995). Logic-based 0-1 Constraint Solving in Constraint Logic Programming. PhD Thesis, Universität des Saarlandes, Saarbrücken.

Item is Released

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AC36-B Version Permalink: https://hdl.handle.net/21.11116/0000-000E-5BBE-7

Genre: Thesis

show

show

hide

Creators:
Barth, Peter¹, Author
Ganzinger, Harald¹, Advisor
Hooker, J. N.², Referee

Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045
2External Organizations, ou_persistent22

show

show

hide

Language(s): eng - English

Dates: Modified: 2010-03-12Accepted: 1995-02-28Date issued: 1995

Publication Status: Issued

Pages: iv, 187 p.

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

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 519591
Other: Local-ID: C1256104005ECAFC-B40EFE1A58AD5E2CC12561440062485A-Barth-Diss

Degree: PhD

show

show

show

show