Login / Signup
Miroslav N. Velev
ORCID
Publication Activity (10 Years)
Years Active: 1997-2023
Publications (10 Years): 5
Top Topics
Symmetry Breaking
Boolean Formula
Sat Encodings
Formal Verification
Top Venues
ISQED
ISAIM
Ann. Math. Artif. Intell.
ASP-DAC
</>
Publications
</>