Complexity of Infinite-Domain Constraint Satisfaction

Complexity of Infinite-Domain Constraint Satisfaction

Bodirsky, Manuel

Cambridge University Press

06/2021

300

Dura

Inglês

9781107042841

15 a 20 dias

Descrição não disponível.
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.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.