Login / Signup
Ifaz Kabir
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 5
Top Topics
Suffix Tree
Object Types
Satisfiability Modulo Theories
Backtracking Search
Top Venues
Proc. ACM Program. Lang.
CoRR
CAV (2)
SCALA@ICFP
</>
Publications
</>