no code implementations • 4 Jul 2023 • Gregor Betz, Vera Chekan, Tamara Mchedlidze
Moreover, for every subset, an instance of the SAT model counting problem has to be solved which is known to be a hard problem in computer science.
no code implementations • 2 Sep 2022 • Smon van Wageningen, Tamara Mchedlidze
Planar graph drawings tend to be aesthetically pleasing.
1 code implementation • 4 Sep 2018 • Moritz Klammler, Tamara Mchedlidze, Alexey Pak
The mean prediction accuracy of our model is 95. 70%, outperforming discriminators based on stress and on the linear combination of popular quality metrics by a statistically significant margin.