Michael C. Chavrimootoo

20 papers A 3C 1Journal 15Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Carrying is Hard: Exploring the Gap between Hardness for NP and PSPACE for the Hanano and Jelly no Puzzles.
CoRR
Michael C. Chavrimootoo, Jin Seok Youn
2026 J jnl
The Cost of Failure: On The Complexity of Recampaigning under Fixed Districts.
CoRR
Michael C. Chavrimootoo, Aidan Jeansonne
2025 J jnl
Approximating Electoral Control Problems.
CoRR
Huy Vu Bui, Michael C. Chavrimootoo, Trung Kien Le, Son M. Nguyen
2025 J jnl
Defying gravity and gadget numerosity: The complexity of the Hanano Puzzle and beyond.
Inf. Process. Lett.
Michael C. Chavrimootoo
2024 J jnl
A Brief Note on a Recent Claim About NP-Hard Problems and BQP.
CoRR
Michael C. Chavrimootoo
2024 C conf
Search Versus Search for Collapsing Electoral Control Types.
EUMAS
Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles
2024 J jnl
Separating and Collapsing Electoral Control Types.
J. Artif. Intell. Res.
Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles
2023 J jnl
A Critique of Sopin's "PH = PSPACE".
CoRR
Michael C. Chavrimootoo, Ian Clingerman, Quan Luu
2023 — conf
Defying Gravity and Gadget Numerosity: The Complexity of the Hanano Puzzle.
DCFS
Michael C. Chavrimootoo
2023 J jnl
Evaluating the Claims of "SAT Requires Exhaustive Search".
CoRR
Michael C. Chavrimootoo, Yumeng He, Matan Kotler-Berkowitz, Harry Liuson, Zeyu Nie
2023 J jnl
On Czerwinski's "P ≠ NP relative to a P-complete oracle".
CoRR
Michael C. Chavrimootoo, Tran Duy Anh Le, Michael P. Reidy, Eliot J. Smith
2023 A conf
Search versus Search for Collapsing Electoral Control Types.
AAMAS
Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles
2023 A conf
Separating and Collapsing Electoral Control Types.
AAMAS
Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles
2023 A conf
Separations and Collapses in Computational Social Choice.
AAMAS
Michael C. Chavrimootoo
2022 J jnl
A Closer Look at Some Recent Proof Compression-Related Claims.
CoRR
Michael C. Chavrimootoo, Ethan Ferland, Erin Gibson, Ashley H. Wilson
2022 J jnl
Defying Gravity: On the Complexity of the Hanano Puzzle.
CoRR
Michael C. Chavrimootoo
2022 J jnl
Search versus Search for Collapsing Electoral Control Types.
CoRR
Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles
2022 J jnl
Separating and Collapsing Electoral Control Types.
CoRR
Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles
2021 J jnl
A Critique of Keum-Bae Cho's Proof that P ⊊ NP.
CoRR
Benjamin Carleton, Michael C. Chavrimootoo, Conor Taliancich
2021 J jnl
A Critique of Kumar's "Necessary and Sufficient Condition for Satisfiability of a Boolean Formula in CNF and Its Implications on P versus NP problem.".
CoRR
Michael C. Chavrimootoo, Henry B. Welles