Markus Anders

According to our database, Markus Anders authored at least 19 papers between 2018 and 2026.

Collaborative distances:

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

2026

Orbitopal Fixing in SAT.

Markus Anders, Cayden R. Codel, Marijn J. H. Heule

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables.

Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

[TACAS 2026] Artifact for "Orbitopal Fixing in SAT".

Markus Anders, Cayden R. Codel, Marijn Heule

Dataset, December, 2025

[TACAS 2026] Artifact for "Orbitopal Fixing in SAT".

Markus Anders, Cayden R. Codel, Marijn Heule

Dataset, December, 2025

2024

Satsuma: Structure-Based Symmetry Breaking in SAT.

Markus Anders, Sofia Brenner, Gaurav Rattan

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

The Complexity of Symmetry Breaking Beyond Lex-Leader.

Markus Anders, Sofia Brenner, Gaurav Rattan

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023

A Systematic Approach to Universal Random Features in Graph Neural Networks.

Billy Joe Franks, Markus Anders, Marius Kloft, Pascal Schweitzer

Trans. Mach. Learn. Res., 2023

Taming Horizontal Instability in Merge Trees: On the Computation of a Comprehensive Deformation-based Edit Distance.

Florian Wetzels, Markus Anders, Christoph Garth

CoRR, 2023

Engineering a Preprocessor for Symmetry Detection.

Markus Anders, Pascal Schweitzer, Julian Stieß

Proceedings of the 21st International Symposium on Experimental Algorithms, 2023

Algorithms Transcending the SAT-Symmetry Interface.

Markus Anders, Pascal Schweitzer, Mate Soos

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

2022

SAT Preprocessors and Symmetry.

Markus Anders

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

2021

Trainability for Universal GNNs Through Surgical Randomness.

Billy Joe Franks, Markus Anders, Marius Kloft, Pascal Schweitzer

CoRR, 2021

A Characterization of Individualization-Refinement Trees.

Markus Anders, Jendrik Brachter, Pascal Schweitzer

Proceedings of the 32nd International Symposium on Algorithms and Computation, 2021

Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case.

Markus Anders, Pascal Schweitzer, Florian Wetzels

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms.

Markus Anders, Pascal Schweitzer

Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021

Parallel Computation of Combinatorial Symmetries.

Markus Anders, Pascal Schweitzer

Proceedings of the 29th Annual European Symposium on Algorithms, 2021

Engineering a Fast Probabilistic Isomorphism Test.

Markus Anders, Pascal Schweitzer

Proceedings of the 23rd Symposium on Algorithm Engineering and Experiments, 2021

2019

A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units.

Markus Anders, Klaus Schneider

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2018

On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units.

Markus Anders, Anoop Bhagyanath, Klaus Schneider

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018