Log In
Using SAT Solvers in Combinatorics and Geometry
Counting Pseudoline Arrangements
Robust Realistic Geometric Computation
Pop-stack sorting: enumerative and algorithmic issues
The wet part and the convex hull of random point sets