Complexity of Infinite-Domain Constraint Satisfaction

List of contents

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.

About the author

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

Product details

• Authors: Manuel Bodirsky
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 30.06.2021
• EAN: 9781107042841
• ISBN: 978-1-107-04284-1
• No. of pages: 300
• Series: Lecture Notes in Logic
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > Basic principles; Artificial Intelligence, MATHEMATICS / Logic, COMPUTERS / Machine Theory, MATHEMATICS / Combinatorics, Combinatorics & graph theory, Mathematical theory of computation, Mathematical logic, COMPUTERS / Artificial Intelligence / General, Combinatorics and graph theory