Michael C. Chavrimootoo

According to our database, Michael C. Chavrimootoo authored at least 11 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

On Czerwinski's "P ≠ NP relative to a P-complete oracle".

Michael C. Chavrimootoo, Tran Duy Anh Le, Michael P. Reidy, Eliot J. Smith

CoRR, 2023

Evaluating the Claims of "SAT Requires Exhaustive Search".

Michael C. Chavrimootoo, Yumeng He, Matan Kotler-Berkowitz, Harry Liuson, Zeyu Nie

CoRR, 2023

A Critique of Sopin's "PH = PSPACE".

Michael C. Chavrimootoo, Ian Clingerman, Quan Luu

CoRR, 2023

Defying Gravity and Gadget Numerosity: The Complexity of the Hanano Puzzle.

Michael C. Chavrimootoo

Proceedings of the Descriptional Complexity of Formal Systems, 2023

Separations and Collapses in Computational Social Choice.

Michael C. Chavrimootoo

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Search versus Search for Collapsing Electoral Control Types.

Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

Separating and Collapsing Electoral Control Types.

Benjamin Carleton, Michael C. Chavrimootoo, Lane A. Hemaspaandra, David E. Narváez, Conor Taliancich, Henry B. Welles

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

2022

A Closer Look at Some Recent Proof Compression-Related Claims.

Michael C. Chavrimootoo, Ethan Ferland, Erin Gibson, Ashley H. Wilson

CoRR, 2022

Defying Gravity: On the Complexity of the Hanano Puzzle.

Michael C. Chavrimootoo

CoRR, 2022

2021

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.".

Michael C. Chavrimootoo, Henry B. Welles

CoRR, 2021

A Critique of Keum-Bae Cho's Proof that P ⊊ NP.

Benjamin Carleton, Michael C. Chavrimootoo, Conor Taliancich

CoRR, 2021