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

Flip-Breakability: A Combinatorial Dichotomy for Monadicall..:

, In: Proceedings of the 56th Annual ACM Symposium on Theory of Computing,
Dreier, Jan ; Mählmann, Nikolas ; Toruńczyk, Szymon - p. 1550-1560 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

Corrigendum to "Twin-width and generalized coloring numbers..:

Dreier, Jan ; Gajarský, Jakub ; Jiang, Yiting..
Discrete Mathematics.  347 (2024)  1 - p. 113750 , 2024
Link: https://doi.org/10.1016/..
 
?
3

SAT backdoors: Depth beats size:

Dreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan
Journal of Computer and System Sciences.  142 (2024)  - p. 103520 , 2024
Link: https://doi.org/10.1016/..
 
?
4

Lacon-, Shrub- and Parity-Decompositions: Characterizing Tr..:

Dreier, Jan
Logical Methods in Computer Science.  19, Issue 2 (2023)  - p. , 2023
Link: https://doi.org/10.46298..
 
?
5

CSP beyond tractable constraint languages:

Dreier, Jan ; Ordyniak, Sebastian ; Szeider, Stefan
Constraints.  28 (2023)  3 - p. 450-471 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Pseudorandom Finite Models:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Dreier, Jan ; Tucker-Foltz, Jamie - p. 1-13 , 2023
Link: https://doi.org/10.1109/..
 
?
7

First-Order Model Checking on Structurally Sparse Graph Cla..:

, In: Proceedings of the 55th Annual ACM Symposium on Theory of Computing,
Dreier, Jan ; Mählmann, Nikolas ; Siebertz, Sebastian - p. 567-580 , 2023
Link: https://dl.acm.org/doi/1..
 
?
8

Model Checking on Interpretations of Classes of Bounded Loc..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,
Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub... - p. 1-13 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

Treelike Decompositions for Transductions of Sparse Graphs:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,
Dreier, Jan ; Gajarský, Jakub ; Kiefer, Sandra.. - p. 1-14 , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Twin-width and generalized coloring numbers:

Dreier, Jan ; Gajarský, Jakub ; Jiang, Yiting..
Discrete Mathematics.  345 (2022)  3 - p. 112746 , 2022
Link: https://doi.org/10.1016/..
 
?
11

Lacon- and shrub-decompositions : a new characterization..:

, In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science,
Dreier, Jan - p. 1-13 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

Approximate Evaluation of First-Order Counting Queries:

, In: Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms (SODA),
Dreier, Jan ; Rossmanith, Peter - p. 1720-1739 , 2021
Link: https://doi.org/10.1137/..
 
?
13

Approximate evaluation of first-order counting queries:

, In: Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms,
Dreier, Jan ; Rossmanith, Peter - p. 1720-1739 , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

Lacon- and Shrub-Decompositions: A New Characterization of ..:

, In: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),
Dreier, Jan - p. 1-13 , 2021
Link: https://doi.org/10.1109/..
 
?
15

Rhythmusschulung in der Leichtathletik:

Dreier, Jan
Der Übungsleiter.  53 (2020)  5 - p. 3-4 , 2020
Exemplar:  Zentrale:Magazin Zs Angeb. an fb 0961
 
1-15