Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Bodirsky, Manuel
222  Ergebnisse:
Personensuche X
?
1

Spectrahedral shadows and completely positive maps on real ..:

Bodirsky, Manuel ; Kummer, Mario ; Thom, Andreas
Journal of the European Mathematical Society.  , 2024
Link: https://doi.org/10.4171/..
 
?
2

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theo..:

Bodirsky, Manuel ; Bodor, Bertalan
ACM Transactions on Computation Theory.  16 (2024)  2 - p. 1-39 , 2024
Link: https://doi.org/10.1145/..
 
?
3

The Complexity of Resilience Problems via Valued Constraint..:

, In: Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science,
Bodirsky, Manuel ; Semanišinová, Žaneta ; Lutz, Carsten - p. 1-14 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

The smallest hard trees:

Bodirsky, Manuel ; Bulín, Jakub ; Starke, Florian.
Constraints.  28 (2023)  2 - p. 105-137 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Tractable Combinations of Temporal CSPs:

Bodirsky, Manuel ; Greiner, Johannes ; Rydval, Jakub
Logical Methods in Computer Science.  18, Issue 2 (2022)  - p. , 2022
Link: https://doi.org/10.46298..
 
?
6

Maximal Digraphs with Respect to Primitive Positive Constru..:

Bodirsky, Manuel ; Starke, Florian
Combinatorica.  42 (2022)  S1 - p. 997-1010 , 2022
Link: https://doi.org/10.1007/..
 
?
7

On the Descriptive Complexity of Temporal Constraint Satisf..:

Bodirsky, Manuel ; Rydval, Jakub
Journal of the ACM.  70 (2022)  1 - p. 1-58 , 2022
Link: https://doi.org/10.1145/..
 
?
8

Homogeneous Structures: Model Theory meets Universal Algebr:

Bodirsky, Manuel ; Ochremiak, Joanna ; Pinsker, Michael
Oberwolfach Reports.  18 (2022)  1 - p. 5-32 , 2022
Link: https://doi.org/10.4171/..
 
?
9

Piecewise Linear Valued CSPs Solvable by Linear Programming..:

Bodirsky, Manuel ; Mamino, Marcello ; Viola, Caterina
ACM Transactions on Computational Logic.  23 (2021)  1 - p. 1-35 , 2021
Link: https://doi.org/10.1145/..
 
?
10

Tractable Combinations of Theories via Sampling:

, In: Logics in Artificial Intelligence; Lecture Notes in Computer Science,
Bodirsky, Manuel ; Greiner, Johannes - p. 133-146 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Canonical functions: a proof via topological dynamics:

Pinsker, Michael ; Bodirsky, Manuel
Contributions to Discrete Mathematics.  16 (2021)  2 - p. 36-45 , 2021
Link: https://doi.org/10.55016..
 
?
12

On logics and homomorphism closure:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Bodirsky, Manuel ; Feller, Thomas ; Knäuer, Simon. - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

A Proof of the Algebraic Tractability Conjecture for Monoto..:

Bodirsky, Manuel ; Madelaine, Florent ; Mottet, Antoine
SIAM Journal on Computing.  50 (2021)  4 - p. 1359-1409 , 2021
Link: https://doi.org/10.1137/..
 
?
14

Canonical polymorphisms of ramsey structures and the unique..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Bodirsky, Manuel ; Bodor, Bertalan - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
?
15

Valued Constraint Satisfaction Problems over Infinite Domai..:

Viola, Caterina , 2020
Link: https://nbn-resolving.de..
 
1-15