Manuel Bodirsky

Complexity of Infinite-Domain Constraint Satisfaction

• Gebundenes Buch

Produktdetails

• Verlag: Cambridge University Press
• Seitenzahl: 538
• Erscheinungstermin: 12. Mai 2021
• Englisch
• Abmessung: 235mm x 157mm x 36mm
• Gewicht: 1017g
• ISBN-13: 9781107042841
• ISBN-10: 1107042844
• Artikelnr.: 61478240

Autorenporträt

Manuel Bodirsky is Professor at the Institute for Algebra in the Faculty of Mathematics at TU Dresden.

Inhaltsangabe

1. Introduction to constraint satisfaction problems
2. Model theory
3. Primitive positive interpretations
4. Countably categorical structures
5. Examples
6. Universal algebra
7. Equality constraint satisfaction problems
8. Datalog
9. Topology
10. Oligomorphic clones
11. Ramsey theory
12. Temporal constraint satisfaction problems
13. Non-dichotomies
14. Conclusion and outlook
References
Index.