Florian Chudigiewitsch

According to our database, Florian Chudigiewitsch authored at least 7 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

On the Descriptive Complexity of Vertex Deletion Problems.

Max Bannach, Florian Chudigiewitsch, Till Tantau

Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science, 2024

PACE Solver Description: UzL Exact Solver for One-Sided Crossing Minimization.

Max Bannach, Florian Chudigiewitsch, Kim-Manuel Klein, Marcel Wienöbst

Proceedings of the 19th International Symposium on Parameterized and Exact Computation, 2024

2023

Recent Trends in Graph Decomposition (Dagstuhl Seminar 23331).

George Karypis, Christian Schulz, Darren Strash, Deepak Ajwani, Rob H. Bisseling, Katrin Casel, Ümit V. Çatalyürek, Cédric Chevalier, Florian Chudigiewitsch, Marcelo Fonseca Faraj, Michael R. Fellows, Lars Gottesbüren, Tobias Heuer, Kamer Kaya, Jakub Lacki, Johannes Langguth, Xiaoye Sherry Li, Ruben Mayer, Johannes Meintrup, Yosuke Mizutani, François Pellegrini, Fabrizio Petrini, Frances A. Rosamond, Ilya Safro, Sebastian Schlag, Roohani Sharma, Blair D. Sullivan, Bora Uçar, Albert-Jan Yzelman

Dagstuhl Reports, 2023

Open Problems in (Hyper)Graph Decomposition.

Deepak Ajwani, Rob H. Bisseling, Katrin Casel, Ümit V. Çatalyürek, Cédric Chevalier, Florian Chudigiewitsch, Marcelo Fonseca Faraj, Michael R. Fellows, Lars Gottesbüren, Tobias Heuer, George Karypis, Kamer Kaya, Jakub Lacki, Johannes Langguth, Xiaoye Sherry Li, Ruben Mayer, Johannes Meintrup, Yosuke Mizutani, François Pellegrini, Fabrizio Petrini, Frances A. Rosamond, Ilya Safro, Sebastian Schlag, Christian Schulz, Roohani Sharma, Darren Strash, Blair D. Sullivan, Bora Uçar, Albert-Jan Yzelman

CoRR, 2023

Logical Characterization of Algebraic Circuit Classes over Integral Domains.

Timon Barlag, Florian Chudigiewitsch, Sabrina Alexandra Gaube

CoRR, 2023

Existential Second-Order Logic over Graphs: Parameterized Complexity.

Max Bannach, Florian Chudigiewitsch, Till Tantau

Proceedings of the 18th International Symposium on Parameterized and Exact Computation, 2023

2021

Computational Complexity of Deciding Provability in Linear Logic and its Fragments.

Florian Chudigiewitsch

CoRR, 2021