11 citations · 11 across the 4 of their papers we have counts for
4 papers
Decidability bounds for Presburger arithmetic extended by sine
Eion Blanchard, Philipp Hieronymi
We consider Presburger arithmetic extended by the sine function, call this extension sine-Presburger arithmetic (-PA), and systematically study decision problems for sets of…
Model-Guided Synthesis of Inductive Lemmas for FOL with Least Fixpoints
Adithya Murali, Lucas Peña, Eion Blanchard +2
Recursively defined linked data structures embedded in a pointer-based heap and their properties are naturally expressed in pure first-order logic with least fixpoint definitions (…
A Decoder for the Color Code with Boundaries
Skylar Turner, Josey Hanish, Eion Blanchard +2
We introduce a decoder for the 3D color code with boundaries, which is a variation of the restriction decoder introduced by Kubicka and Delfosse. Specifically, we adapt the lift pr…
Measuring Congressional District Meandering
Eion Blanchard, Kevin Knudson
In recent decades, state legislatures have often drawn U.S. Congressional voting districts that look---to the human eye---to be rather twisted. In this paper, we propose a method t…