Login / Signup
Mikhail R. Starchak
ORCID
Publication Activity (10 Years)
Years Active: 2021-2023
Publications (10 Years): 2
Top Topics
Control Unit
Simulated Annealing
Positive And Negative
Propositional Logic
Top Venues
FoSSaCS
ISSAC
</>
Publications
</>
Mikhail R. Starchak
On the Existential Arithmetics with Addition and Bitwise Minimum.
FoSSaCS
(2023)
Mikhail R. Starchak
Positive Existential Definability with Unit, Addition and Coprimeness.
ISSAC
(2021)