The smallest hard trees
Bodirsky, Manuel, Bulín, Jakub, Starke, Florian, Wernthaler, Michael
Published in Constraints : an international journal (01.06.2023)
Published in Constraints : an international journal (01.06.2023)
Get full text
Journal Article
Universal Horn Sentences and the Joint Embedding Property
Bodirsky, Manuel, Rydval, Jakub, Schrottenloher, André
Published in Discrete mathematics and theoretical computer science (06.05.2022)
Published in Discrete mathematics and theoretical computer science (06.05.2022)
Get full text
Journal Article
Tractable Combinations of Temporal CSPs
Bodirsky, Manuel, Greiner, Johannes, Rydval, Jakub
Published in Logical methods in computer science (01.01.2022)
Published in Logical methods in computer science (01.01.2022)
Get full text
Journal Article
Essential Convexity and Complexity of Semi-Algebraic Constraints
Bodirsky, Manuel, Jonsson, Peter, von Oertzen, Timo
Published in Logical methods in computer science (01.01.2012)
Published in Logical methods in computer science (01.01.2012)
Get full text
Journal Article
A Model-Theoretic View on Qualitative Constraint Reasoning
Bodirsky, Manuel, Jonsson, Peter
Published in The Journal of artificial intelligence research (01.01.2017)
Published in The Journal of artificial intelligence research (01.01.2017)
Get full text
Journal Article
On the Scope of the Universal-Algebraic Approach to Constraint Satisfaction
Martin, Barnaby, Bodirsky, Manuel, Hils, Martin
Published in Logical methods in computer science (12.09.2012)
Published in Logical methods in computer science (12.09.2012)
Get full text
Journal Article
Spectrahedral shadows and completely positive maps on real closed fields
Bodirsky, Manuel, Kummer, Mario, Thom, Andreas
Published in Journal of the European Mathematical Society : JEMS (10.07.2024)
Published in Journal of the European Mathematical Society : JEMS (10.07.2024)
Get full text
Journal Article
Canonical Polymorphisms of Ramsey Structures and the Unique Interpolation Property
Bodirsky, Manuel, Bodor, Bertalan
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Published in 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (29.06.2021)
Get full text
Conference Proceeding