Login / Signup
Ricardo L. Saldanha
ORCID
Publication Activity (10 Years)
Years Active: 2003-2021
Publications (10 Years): 3
Top Topics
Boolean Satisfiability
Timetabling Problem
Stochastic Local Search
Sat Solving
Top Venues
Public Transp.
EPIA
IAAI
</>
Publications
</>