3 papers
cs.CC2021
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…
cs.GT2018
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…
cs.AI2017
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:…