Cohomology in constraint satisfaction and structure isomorphism

DOI10.4230/LIPICS.MFCS.2022.75MaRDI QIDQ6584080zbMATH OpenFDO

Authors Adam Ó Conghaile

Publication date 6 August 2024

Full work available at URL https://doi.org/10.4230/LIPICS.MFCS.2022.75

zbMATH Keywords

cohomologyconstraint satisfaction problemsdescriptive complexityfinite model theoryrank logicWeisfeiler-Leman algorithm

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited in

(4)

• Promise and infinite-domain constraint satisfaction
• Approximate graph coloring and the crystal with a hollow shadow
• Local consistency as a reduction between constraint satisfaction problems
• Semidefinite programming and linear equations vs. homomorphism problems

This page was built for publication: Cohomology in constraint satisfaction and structure isomorphism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584080)