Generalized definite set constraints

DOI10.1023/A:1009826603139zbMath0953.68057OpenAlexW1598816868MaRDI QIDQ1975208

Philippe Devienne, Sophie Tison, Jean-Marc Talbot

Publication date: 29 January 2001

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1009826603139

zbMATH Keywords

algorithmsatisfiability problemtree automatacomputational complexity of set constraints

Mathematics Subject Classification ID

Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)

Related Items (2)

Unification modulo ACUI plus distributivity axioms ⋮ Set constraints with intersection

This page was built for publication: Generalized definite set constraints