H. Bergold

activity

20192026

most citedInvestigating Simple Drawings of

K_{n}

using SAT

1 citations · 4 across the 13 of their papers we have counts for

collaborators

Showing 2025Show all

2 papers · 1 filter

cs.CG2025★ 1 cited

Investigating Simple Drawings of $K_{n}$ using SAT

Helena Bergold, Manfred Scheucher

We present a SAT framework which allows to investigate properties of simple drawings of the complete graph $K_{n}$ 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 $R^{2}$ . A set of triangles is a \emph{separ…

Investigating Simple Drawings of Kn​ using SAT

On Triangular Separation of Bichromatic Point Sets

Investigating Simple Drawings of $K_{n}$ using SAT