Login / Signup
Enric Rodríguez-Carbonell
ORCID
Publication Activity (10 Years)
Years Active: 2004-2024
Publications (10 Years): 13
Top Topics
Integer Linear Programming
Experimental Evaluation
Sat Encodings
Pseudo Boolean
Top Venues
CoRR
SAT
IEEE Trans. Learn. Technol.
LPAR
</>
Publications
</>