research
∙
07/07/2022
Search versus Search for Collapsing Electoral Control Types
Electoral control types are ways of trying to change the outcome of elec...
share
research
∙
07/02/2022
Separating and Collapsing Electoral Control Types
[HHM20] discovered, for 7 pairs (C,D) of seemingly distinct standard ele...
research
∙
04/07/2021
On Salum's Algorithm for X3SAT
This is a commentary on, and critique of, Latif Salum's paper titled "Tr...
research
∙
03/28/2021
On Arroyo-Figueroa's Proof that P≠NP
We critique Javier Arroyo-Figueroa's paper titled “The existence of the ...
research
∙
12/02/2020
Effective Feedback for Introductory CS Theory: A JFLAP Extension and Student Persistence
Computing theory analyzes abstract computational models to rigorously st...
research
∙
11/13/2018
Very Hard Electoral Control Problems
It is important to understand how the outcome of an election can be modi...
research
∙
11/17/2017
Exploring the Use of Shatter for AllSAT Through Ramsey-Type Problems
In the context of SAT solvers, Shatter is a popular tool for symmetry br...
research
∙
06/14/2017
The Opacity of Backbones and Backdoors Under a Weak Assumption
Backdoors and backbones of Boolean formulas are hidden structural proper...
research
∙
06/11/2016