research
∙
04/21/2022
Passport: Improving Automated Formal Verification Using Identifiers
Formally verifying system properties is one of the most effective ways o...
share
research
∙
05/22/2021
How Packed Is It, Really?
The congestion of a curve is a measure of how much it zigzags around loc...
research
∙
07/17/2020
Improved Approximation Algorithms for Tverberg Partitions
Tverberg's theorem states that a set of n points in ^d can be partiti...
research
∙
02/27/2019