Login / Signup
Erfan Khaniki
ORCID
Publication Activity (10 Years)
Years Active: 2019-2024
Publications (10 Years): 10
Top Topics
Polynomially Bounded
Constraint Solver
Automatic Theorem Proving
Finite Domain
Top Venues
CoRR
Electron. Colloquium Comput. Complex.
ACM Trans. Comput. Log.
ICALP
</>
Publications
</>