Maximal Infinite-Valued Constraint Languages

DOI10.1007/978-3-540-73420-8_48zbMath1171.68722OpenAlexW1599705179MaRDI QIDQ5428838

Manuel Bodirsky, Timo von Oertzen, Jan Kára, Hubie Chen

Publication date: 28 November 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.768

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Applications of universal algebra in computer science (08A70) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Categoricity and completeness of theories (03C35)

Related Items

Constraint Satisfaction Problems with Infinite Templates