Jackson Abascal

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 8

Top Topics

Boolean Satisfiability

Closure Properties

Solving Constraint Satisfaction Problems

Top Venues

J. Comput. Syst. Sci.

Publications

Jackson Abascal, Venkatesan Guruswami, Pravesh K. Kothari
Strongly refuting all semi-random Boolean CSPs. SODA (2021)
Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon, Daniel Rubery
Closure and nonclosure properties of the classes of compressible and rankable sets. J. Comput. Syst. Sci. 120 (2021)
Jackson Abascal, Mohammad Hossein Faghihi Sereshgi, Carmit Hazay, Yuval Ishai, Muthuramakrishnan Venkitasubramaniam
Is the Classical GMW Paradigm Practical? The Case of Non-Interactive Actively Secure 2PC. CCS (2020)
Jackson Abascal, Venkatesan Guruswami, Pravesh K. Kothari
Strongly refuting all semi-random Boolean CSPs. CoRR (2020)
Jackson Abascal, Lane A. Hemaspaandra, Shir Maimon, Daniel Rubery
Closure and Nonclosure Properties of the Compressible and Rankable Sets. LATA (2019)
Jackson Abascal, Amadou Bah, Mario Banuelos, David Uminsky, Olivia Vasquez
A Non-iterative Parallelizable Eigenbasis Algorithm for Johnson Graphs. CoRR (2018)
Jackson Abascal, Shir Maimon
Critique of Barbosa's "P != NP Proof". CoRR (2017)
Jackson Abascal, Shir Maimon
A Refutation of Guinea's "Understanding SAT is in P". CoRR (2017)