3 citations · 3 across the 3 of their papers we have counts for
6 papers
CF-GKAT: Efficient Validation of Control-Flow Transformations
Cheng Zhang, Tobias Kappé, David E. Narváez +1
Guarded Kleene Algebra with Tests (GKAT) provides a sound and complete framework to reason about trace equivalence between simple imperative programs. However, there are still seve…
On Arroyo-Figueroa's Proof that
Mandar Juvekar, David E. Narváez, Melissa Welsh
We critique Javier Arroyo-Figueroa's paper titled ``The existence of the Tau one-way functions class as a proof that ,'' which claims to prove $\mathrm…
The Resolution of Keller's Conjecture
Joshua Brakensiek, Marijn Heule, John Mackey +1
We consider three graphs, , , and , related to Keller's conjecture in dimension 7. The conjecture is false for this dimension if and only if at least one…
Very Hard Electoral Control Problems
Zack Fitzsimmons, Edith Hemaspaandra, Alexander Hoover +1
It is important to understand how the outcome of an election can be modified by an agent with control over the structure of the election. Electoral control has been studied for man…
Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems
David E. Narváez
In the context of SAT solvers, Shatter is a popular tool for symmetry breaking on CNF formulas. Nevertheless, little has been said about its use in the context of AllSAT problems:…
The Opacity of Backbones
Lane A. Hemaspaandra, David E. Narváez
This paper approaches, using structural complexity theory, the question of whether there is a chasm between knowing an object exists and getting one's hands on the object or its pr…