Login / Signup
António Ravara
ORCID
Publication Activity (10 Years)
Years Active: 1997-2024
Publications (10 Years): 35
Top Topics
Oriented Programming
Conjunctive Normal Form
Special Issue
Boolean Formula
Top Venues
CoRR
J. Log. Algebraic Methods Program.
SAC
Sci. Comput. Program.
</>
Publications
</>