Strongly Monotone Drawings of Planar Graphs. - Stefan Felsner; Alexander Igamberdiev; Philipp Kindermann; Boris Klemz; Tamara Mchedlidze; Manfred Scheucher (SoCG, 2016)

On Disjoint Holes in Point Sets. - Manfred Scheucher (CoRR, 2018)

On Orthogonal Symmetric Chain Decompositions. - Karl Däubel; Sven Jäger 001; Torsten Mütze; Manfred Scheucher (Electron. J. Comb., 2019)

Two disjoint 5-holes in point sets. - Manfred Scheucher (Comput. Geom., 2020)

Arrangements of Pseudocircles: On Circularizability. - Stefan Felsner; Manfred Scheucher (Discret. Comput. Geom., 2020)

Almost-Equidistant Sets. - Martin Balko; Attila Pór; Manfred Scheucher; Konrad J. Swanepoel; Pavel Valtr 001 (Graphs Comb., 2020)

A superlinear lower bound on the number of 5-holes. - Oswin Aichholzer; Martin Balko; Thomas Hackl; Jan Kyncl; Irene Parada; Manfred Scheucher; Pavel Valtr 001; Birgit Vogtenhuber (J. Comb. Theory A, 2020)

Minimal Representations of Order Types by Geometric Graphs. - Oswin Aichholzer; Martin Balko; Michael Hoffmann 001; Jan Kyncl; Wolfgang Mulzer; Irene Parada; Alexander Pilz; Manfred Scheucher; Pavel Valtr 001; Birgit Vogtenhuber; Emo Welzl (J. Graph Algorithms Appl., 2020)

On L-shaped point set embeddings of trees: first non-embeddable examples. - Torsten Mütze; Manfred Scheucher (J. Graph Algorithms Appl., 2020)

A Note on Universal Point Sets for Planar Graphs. - Manfred Scheucher; Hendrik Schrezenmaier; Raphael Steiner (J. Graph Algorithms Appl., 2020)

On the Average Complexity of the k-Level. - Raphael Steiner; Manfred Scheucher; Stefan Felsner; Pavel Valtr 001; Man-Kwun Chiu; Patrick Schnider (J. Comput. Geom., 2020)

A SAT attack on higher dimensional Erdős-Szekeres numbers. - Manfred Scheucher (CoRR, 2021)

Arrangements of Pseudocircles: Triangles and Drawings. - Stefan Felsner; Manfred Scheucher (Discret. Comput. Geom., 2021)

Arrangements of Pseudocircles: On Digons and Triangles. - Stefan Felsner; Sandro Roch; Manfred Scheucher (GD, 2022)

A SAT Attack on Rota's Basis Conjecture. - Markus Kirchweger; Manfred Scheucher; Stefan Szeider (SAT, 2022)

On crossing-families in planar point sets. - Oswin Aichholzer; Jan Kyncl; Manfred Scheucher; Birgit Vogtenhuber; Pavel Valtr 001 (Comput. Geom., 2022)

Blocking Delaunay Triangulations from the Exterior. - Oswin Aichholzer; Thomas Hackl; Maarten Löffler; Alexander Pilz; Irene Parada; Manfred Scheucher; Birgit Vogtenhuber (CoRR, 2022)

Holes and islands in random point sets. - Martin Balko; Manfred Scheucher; Pavel Valtr 001 (Random Struct. Algorithms, 2022)

An Extension Theorem for Signotopes. - Helena Bergold; Stefan Felsner; Manfred Scheucher (SoCG, 2023)

Bichromatic Perfect Matchings with Crossings. - Oswin Aichholzer; Stefan Felsner; Rosna Paul; Manfred Scheucher; Birgit Vogtenhuber (GD (1), 2023)

SAT-Based Generation of Planar Graphs. - Markus Kirchweger; Manfred Scheucher; Stefan Szeider (SAT, 2023)

A SAT Attack on Erdős-Szekeres Numbers in R^d and the Empty Hexagon Theorem. - Manfred Scheucher (Comput. Geom. Topol., 2023)

Many order types on integer grids of polynomial size. - Manfred Scheucher (Comput. Geom., 2023)

Using SAT to study plane Hamiltonian substructures in simple drawings. - Helena Bergold; Stefan Felsner; Meghana M. Reddy; Manfred Scheucher (CoRR, 2023)

Tight bounds on the expected number of holes in random point sets. - Martin Balko; Manfred Scheucher; Pavel Valtr 001 (Random Struct. Algorithms, 2023)

Topological Drawings Meet Classical Theorems from Convex Geometry. - Helena Bergold; Stefan Felsner; Manfred Scheucher; Felix Schröder; Raphael Steiner (Discret. Comput. Geom., 2023)

Plane Hamiltonian Cycles in Convex Drawings. - Helena Bergold; Stefan Felsner; Meghana M. Reddy; Joachim Orthaber; Manfred Scheucher (SoCG, 2024)

Saturation Results Around the Erdős-Szekeres Problem. - Gábor Damásdi; Zichao Dong; Manfred Scheucher; Ji Zeng (SoCG, 2024)

An Improved Lower Bound on the Number of Pseudoline Arrangements. - Fernando Cortés Kühnast; Justin Dallant; Stefan Felsner; Manfred Scheucher (SoCG, 2024)

Holes in Convex and Simple Drawings. - Helena Bergold; Joachim Orthaber; Manfred Scheucher; Felix Schröder (GD, 2024)

Flip Graph Connectivity for Arrangements of Pseudolines and Pseudocircles. - Yan Alves Radtke; Stefan Felsner; Johannes Obenaus; Sandro Roch; Manfred Scheucher; Birgit Vogtenhuber (SODA, 2024)

Happy Ending: An Empty Hexagon in Every Set of 30 Points. - Marijn J. H. Heule; Manfred Scheucher (TACAS (1), 2024)

Finding hardness reductions automatically using SAT solvers. - Helena Bergold; Manfred Scheucher; Felix Schröder (CoRR, 2024)

Coloring circle arrangements: New 4-chromatic planar graphs. - Man-Kwun Chiu; Stefan Felsner; Manfred Scheucher; Felix Schröder; Raphael Steiner; Birgit Vogtenhuber (Eur. J. Comb., 2024)

Erdős-Szekeres-Type Problems in the Real Projective Plane. - Martin Balko; Manfred Scheucher; Pavel Valtr 001 (Discret. Comput. Geom., 2024)

Roudneff's Conjecture in Dimension 4. - Rangel Hernández-Ortiz; Kolja Knauer; Luis Pedro Montejano 001; Manfred Scheucher (Exp. Math., 2025)

On Triangular Separation of Bichromatic Point Sets. - Helena Bergold; Arun Kumar Das 001; Robert Lauff; Manfred Scheucher; Felix Schröder; Marie Diana Sieper (CoRR, 2025)

Investigating Simple Drawings of Kn using SAT. - Helena Bergold; Manfred Scheucher (CoRR, 2025)