Login / Signup
Josep Suy
ORCID
Publication Activity (10 Years)
Years Active: 1996-2023
Publications (10 Years): 15
Top Topics
Satisfiability Modulo Theories
Sat Encodings
Constraint Solving
Pseudo Boolean
Top Venues
CP
IJCAI
CCIA
CPAIOR
</>
Publications
</>