Login / Signup
Shahab Tasharrofi
Publication Activity (10 Years)
Years Active: 2006-2016
Publications (10 Years): 7
Top Topics
Normal Logic Programs
Search Problems
Fixpoint
Sat Solvers
Top Venues
CoRR
KR
QBF@SAT
KiBP@KR
</>
Publications
</>