Markus Anders

30 papers A* 3A 6B 2Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables.
AAAI
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
2026 — conf
Orbitopal Fixing in SAT.
TACAS (1)
Markus Anders, Cayden R. Codel, Marijn J. H. Heule
2026 J jnl
Orbitopal Fixing in SAT.
CoRR
Markus Anders, Cayden R. Codel, Marijn J. H. Heule
2026 J jnl
Satsuma: Structure-Based Symmetry Breaking in SAT.
J. Artif. Intell. Res.
Markus Anders, Sofia Brenner, Gaurav Rattan
2025 J jnl
Faster Certified Symmetry Breaking Using Orders With Auxiliary Variables.
CoRR
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
2024 A conf
Satsuma: Structure-Based Symmetry Breaking in SAT.
SAT
Markus Anders, Sofia Brenner, Gaurav Rattan
2024 A conf
The Complexity of Symmetry Breaking Beyond Lex-Leader.
CP
Markus Anders, Sofia Brenner, Gaurav Rattan
2024 J jnl
The Complexity of Symmetry Breaking Beyond Lex-Leader.
CoRR
Markus Anders, Sofia Brenner, Gaurav Rattan
2024 J jnl
satsuma: Structure-based Symmetry Breaking in SAT.
CoRR
Markus Anders, Sofia Brenner, Gaurav Rattan
2023 J jnl
A Systematic Approach to Universal Random Features in Graph Neural Networks.
Trans. Mach. Learn. Res.
Billy Joe Franks, Markus Anders, Marius Kloft, Pascal Schweitzer
2023 A conf
Algorithms Transcending the SAT-Symmetry Interface.
SAT
Markus Anders, Pascal Schweitzer, Mate Soos
2023 J jnl
Algorithms Transcending the SAT-Symmetry Interface.
CoRR
Markus Anders, Pascal Schweitzer, Mate Soos
2023 B conf
Engineering a Preprocessor for Symmetry Detection.
SEA
Markus Anders, Pascal Schweitzer, Julian Stieß
2023 J jnl
Engineering a Preprocessor for Symmetry Detection.
CoRR
Markus Anders, Pascal Schweitzer, Julian Stieß
2023 J jnl
Taming Horizontal Instability in Merge Trees: On the Computation of a Comprehensive Deformation-based Edit Distance.
CoRR
Florian Wetzels, Markus Anders, Christoph Garth
2022 A conf
SAT Preprocessors and Symmetry.
SAT
Markus Anders
2022 J jnl
SAT Preprocessors and Symmetry.
CoRR
Markus Anders
2021 B conf
A Characterization of Individualization-Refinement Trees.
ISAAC
Markus Anders, Jendrik Brachter, Pascal Schweitzer
2021 J jnl
A Characterization of Individualization-Refinement Trees.
CoRR
Markus Anders, Jendrik Brachter, Pascal Schweitzer
2021 A* conf
Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case.
ICALP
Markus Anders, Pascal Schweitzer, Florian Wetzels
2021 J jnl
Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case.
CoRR
Markus Anders, Pascal Schweitzer, Florian Wetzels
2021 A conf
Engineering a Fast Probabilistic Isomorphism Test.
ALENEX
Markus Anders, Pascal Schweitzer
2021 A conf
Parallel Computation of Combinatorial Symmetries.
ESA
Markus Anders, Pascal Schweitzer
2021 J jnl
Parallel Computation of Combinatorial Symmetries.
CoRR
Markus Anders, Pascal Schweitzer
2021 A* conf
Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms.
ICALP
Markus Anders, Pascal Schweitzer
2021 J jnl
Trainability for Universal GNNs Through Surgical Randomness.
CoRR
Billy Joe Franks, Markus Anders, Marius Kloft, Pascal Schweitzer
2020 J jnl
Engineering a Fast Probabilistic Isomorphism Test.
CoRR
Markus Anders, Pascal Schweitzer
2020 J jnl
Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms.
CoRR
Markus Anders, Pascal Schweitzer
2019 — conf
A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units.
ACSD
Markus Anders, Klaus Schneider
2018 — conf
On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units.
ACSD
Markus Anders, Anoop Bhagyanath, Klaus Schneider