Tractable Set Constraints

An extended abstract of this paper appears in Proceedings of IJCAI-11. The third author left the author team for the preparation of the journal version. Several mistakes in the proofs have been removed

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00757439
Author Bodirsky, Manuel, Hils, Martin
Maintainer CCSD
Last Updated June 4, 2026, 00:55 (UTC)
Created June 4, 2026, 00:55 (UTC)
Identifier hal-00757439
Language en
contributor Laboratoire d'informatique de l'École polytechnique [Palaiseau] (LIX) ; École polytechnique (X) ; Institut Polytechnique de Paris (IP Paris)-Institut Polytechnique de Paris (IP Paris)-Centre National de la Recherche Scientifique (CNRS)
creator Bodirsky, Manuel
date 2012-07-18T00:00:00
harvest_object_id f0087760-9e44-437e-ba8f-3d3b890f6436
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-08-20T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/1104.1045
set_spec type:UNDEFINED