Tractable set constraints

DOI10.1613/JAIR.3747MaRDI QIDQ4899135zbMATH OpenOpenAlexFDO

Authors Manuel Bodirsky, Martin Hils

Publication date 7 January 2013

Published in Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.3747

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic in artificial intelligence (68T27)

Recommendations

• Reasoning about set constraints applied to tractable inference in intuitionistic logic
• Tractability in constraint satisfaction problems: a survey
• Characterising tractable constraints
• The complexity of constraint satisfaction problems (invited talk)
• Tractable constraints on ordered domains

Cited in

(9)

• Constants and finite unary relations in qualitative constraint reasoning
• Tarskian set constraints
• Set constraints with intersection
• Quantified Constraints and Containment Problems
• Reasoning about set constraints applied to tractable inference in intuitionistic logic
• scientific article; zbMATH DE number 2090081 (Why is no real title available?)
• Tractable combinations of temporal CSPs
• An initial study of time complexity in infinite-domain constraint satisfaction
• Solving equation systems in ω-categorical algebras

This page was built for publication: Tractable set constraints

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4899135)