11 citations · 33 across the 21 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.CG2025★ 1 cited
Investigating Simple Drawings of using SAT
Helena Bergold, Manfred Scheucher
We present a SAT framework which allows to investigate properties of simple drawings of the complete graph using the power of AI. In contrast to classic imperative programmin…
cs.CG2025
On Triangular Separation of Bichromatic Point Sets
Helena Bergold, Arun Kumar Das, Robert Lauff +3
We address the problem of computing the minimum number of triangles to separate a set of blue points from a set of red points in . A set of triangles is a \emph{separ…