Maximal infinite-valued constraint languages
type: Item
instance of: scholarly article
title: Maximal infinite-valued constraint languages
zbMATH Open document ID: 1172.68052
author: Manuel Bodirsky
author: Hubie Chen
author: Jan Kára
author: Timo von Oertzen
published in: Theoretical Computer Science
publication date: 2009-04-29T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 03C35
Mathematics Subject Classification ID: 08A70
Mathematics Subject Classification ID: 68Q25
zbMATH DE Number: 5549391
zbMATH Keywords: constraint satisfaction
zbMATH Keywords: computational complexity
zbMATH Keywords: universal algebra in computer science
zbMATH Keywords: countably categorical structures
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.12.050
OpenAlex ID: W1997175672
cites work: Maintaining knowledge about temporal intervals
cites work: Oligomorphic clones
cites work: Datalog and Constraint Satisfaction with Infinite Templates
cites work: The complexity of equality constraint languages
cites work: Constraint Satisfaction with Countable Homogeneous Templates
cites work: The complexity of maximal constraint languages
cites work: Classifying the Complexity of Constraints Using Finite Algebras
cites work: Relation algebras and their application in temporal and spatial reasoning
cites work: Q4309352
cites work: The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
cites work: Infinite Dimensional Classical Groups
cites work: The core of a graph
cites work: Q4336034
cites work: Closure properties of constraints
cites work: Q4386965
cites work: Reasoning about temporal relations
cites work: On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus
cites work: Q3739182
cites work: Q3739181
DOI: 10.1016/J.TCS.2008.12.050
Recommended article: Maximal Infinite-Valued Constraint Languages
Recommended article: The complexity of maximal constraint languages
Recommended article: A Galois Connection for Valued Constraint Languages of Infinite Size
Recommended article: STACS 2005
Recommended article: Nondeterminism and infinite computations in constraint programming
Recommended article: Q4222884
Recommended article: The syntax and semantics of infinitary languages
Recommended article: Q3684110
Recommended article: Complexity of Infinite-Domain Constraint Satisfaction
Recommended article: Datalog and constraint satisfaction with infinite templates
description: scientific article; zbMATH DE number 5549391