English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
 Local TagsRelease HistoryDetailsSummary
  The Independence Property of a Class of Set Constraints

Charatonik, W., & Podelski, A. (1996). The Independence Property of a Class of Set Constraints. In E. Freuder (Ed.), Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96) (pp. 76-90). Berlin, Germany: Springer.

Item is

 

show all hide all

Basic

show hide
Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AC1F-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AC20-C
Genre: Conference Paper

Files

show Files

Locators

show

Creators

show
hide
 Creators:
Charatonik, Witold1, Author           
Podelski, Andreas1, Author           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Content

show
hide
Free keywords: -
 Abstract: We investigate a class of set constraints that is used for the type analysis of concurrent constraint programs. Its constraints are inclusions between first-order terms (without set operators) interpreted over non-empty sets of trees. We show that this class has the independence property. We also give a polynomial algorithm for entailment. The independence property is a fundamental property of constraint systems. It says that the constraints cannot express disjunctions, or, equivalently, that negated conjuncts are independent from each other. Its direct algorithmic consequence is that testing the satisfiability of constraints with negated conjuncts can be reduced to entailment.

Details

show
hide
Language(s): eng - English
 Dates: 2010-03-121996
 Publication Status: Issued
 Pages: -
 Publishing info: Berlin, Germany : Springer
 Table of Contents: -
 Rev. Type: -
 Identifiers: eDoc: 519595
Other: Local-ID: C1256104005ECAFC-B67B603F71108299C12562E60008EDF4-CharatonikPodelski-cp96
 Degree: -

Event

show
hide
Title: Untitled Event
Place of Event: Cambridge, USA
Start-/End Date: 1996

Legal Case

show

Project information

show

Source 1

show
hide
Title: Principles and Practice of Constraint Programming, Proceedings of the Second International Conference (CP'96)
Source Genre: Proceedings
 Creator(s):
Freuder, Eugene, Editor
Affiliations:
-
Publ. Info: Berlin, Germany : Springer
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 76 - 90 Identifier: ISBN: 3-540-61551-2

Source 2

show
hide
Title: Lecture Notes in Computer Science
Source Genre: Series
 Creator(s):
Affiliations:
Publ. Info: -
Pages: - Volume / Issue: - Sequence Number: - Start / End Page: - Identifier: -