Fractional Chromatic Numbers from Exact Decision Diagrams. - Timo Brand; Stephan Held (CoRR, 2024)

A Customized SAT-based Solver for Graph Coloring. - Timo Brand; Daniel Faber; Stephan Held; Petra Mutzel (CoRR, 2025)

Exploring MLLMs Perception of Network Visualization Principles. - Jacob Miller 001; Markus Wallinger; Ludwig Felder; Timo Brand; Henry Förster; Johannes Zink 001; Chunyang Chen; Stephen G. Kobourov (CoRR, 2025)