Login / Signup
Pedro Barroso
ORCID
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 5
Top Topics
Conjunctive Normal Form
Top Venues
CoRR
VSTTE
Manag. Sci.
PAAR+SC²@IJCAR
</>
Publications
</>