Login / Signup
Henry B. Welles
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 6
Top Topics
Sat Instances
Search Strategies
Boolean Formula
Optimal Control
Top Venues
CoRR
AAMAS
</>
Publications
</>
Benjamin Carleton
,
Michael C. Chavrimootoo
,
Lane A. Hemaspaandra
,
David E. Narváez
,
Conor Taliancich
,
Henry B. Welles
Search versus Search for Collapsing Electoral Control Types.
AAMAS
(2023)
Benjamin Carleton
,
Michael C. Chavrimootoo
,
Lane A. Hemaspaandra
,
David E. Narváez
,
Conor Taliancich
,
Henry B. Welles
Separating and Collapsing Electoral Control Types.
AAMAS
(2023)
Henry B. Welles
A Critique of Uribe's "P vs. NP".
CoRR
(2022)
Benjamin Carleton
,
Michael C. Chavrimootoo
,
Lane A. Hemaspaandra
,
David E. Narváez
,
Conor Taliancich
,
Henry B. Welles
Search versus Search for Collapsing Electoral Control Types.
CoRR
(2022)
Benjamin Carleton
,
Michael C. Chavrimootoo
,
Lane A. Hemaspaandra
,
David E. Narváez
,
Conor Taliancich
,
Henry B. Welles
Separating and Collapsing Electoral Control Types.
CoRR
(2022)
Michael C. Chavrimootoo
,
Henry B. Welles
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
(2021)