Markus Anders

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 25

Top Topics

Boolean Satisfiability

Processing Units

Symmetry Breaking

Top Venues

Publications

Markus Anders, Sofia Brenner, Gaurav Rattan
The Complexity of Symmetry Breaking Beyond Lex-Leader. CoRR (2024)
Markus Anders, Sofia Brenner, Gaurav Rattan
satsuma: Structure-based Symmetry Breaking in SAT. CoRR (2024)
Markus Anders, Sofia Brenner, Gaurav Rattan
The Complexity of Symmetry Breaking Beyond Lex-Leader. CP (2024)
Markus Anders, Sofia Brenner, Gaurav Rattan
Satsuma: Structure-Based Symmetry Breaking in SAT. SAT (2024)
Billy Joe Franks, Markus Anders, Marius Kloft, Pascal Schweitzer
A Systematic Approach to Universal Random Features in Graph Neural Networks. Trans. Mach. Learn. Res. 2023 (2023)
Markus Anders, Pascal Schweitzer, Julian Stieß
Engineering a Preprocessor for Symmetry Detection. SEA (2023)
Florian Wetzels, Markus Anders, Christoph Garth
Taming Horizontal Instability in Merge Trees: On the Computation of a Comprehensive Deformation-based Edit Distance. CoRR (2023)
Markus Anders, Pascal Schweitzer, Mate Soos
Algorithms Transcending the SAT-Symmetry Interface. SAT (2023)
Markus Anders, Pascal Schweitzer, Mate Soos
Algorithms Transcending the SAT-Symmetry Interface. CoRR (2023)
Markus Anders, Pascal Schweitzer, Julian Stieß
Engineering a Preprocessor for Symmetry Detection. CoRR (2023)
Markus Anders
SAT Preprocessors and Symmetry. SAT (2022)
Markus Anders
SAT Preprocessors and Symmetry. CoRR (2022)
Markus Anders, Pascal Schweitzer
Parallel Computation of Combinatorial Symmetries. ESA (2021)
Markus Anders, Pascal Schweitzer, Florian Wetzels
Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case. ICALP (2021)
Markus Anders, Pascal Schweitzer
Engineering a Fast Probabilistic Isomorphism Test. ALENEX (2021)
Markus Anders, Pascal Schweitzer
Parallel Computation of Combinatorial Symmetries. CoRR (2021)
Billy Joe Franks, Markus Anders, Marius Kloft, Pascal Schweitzer
Trainability for Universal GNNs Through Surgical Randomness. CoRR (2021)
Markus Anders, Pascal Schweitzer, Florian Wetzels
Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case. CoRR (2021)
Markus Anders, Pascal Schweitzer
Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms. ICALP (2021)
Markus Anders, Jendrik Brachter, Pascal Schweitzer
A Characterization of Individualization-Refinement Trees. CoRR (2021)
Markus Anders, Jendrik Brachter, Pascal Schweitzer
A Characterization of Individualization-Refinement Trees. ISAAC (2021)
Markus Anders, Pascal Schweitzer
Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms. CoRR (2020)
Markus Anders, Pascal Schweitzer
Engineering a Fast Probabilistic Isomorphism Test. CoRR (2020)
Markus Anders, Klaus Schneider
A Formal Semantics of Exposed Datapath Architectures with Buffered Processing Units. ACSD (2019)
Markus Anders, Anoop Bhagyanath, Klaus Schneider
On Memory Optimal Code Generation for Exposed Datapath Architectures with Buffered Processing Units. ACSD (2018)