Shir Maimon

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 6

Top Topics

Closure Properties

Stochastic Local Search

Boolean Satisfiability

Top Venues

J. Comput. Syst. Sci.

IACR Cryptol. ePrint Arch.

Publications