Login / Signup
Luis Albino
ORCID
Publication Activity (10 Years)
Years Active: 2011-2017
Publications (10 Years): 1
Top Topics
Propositional Satisfiability
Case Based Reasoning
Stochastic Local Search
Sat Solvers
Top Venues
EPIA
IAAI
</>
Publications
</>
Gonçalo P. Matos
,
Luis Albino
,
Ricardo L. Saldanha
,
Ernesto M. Morgado
Optimising Cyclic Timetables with a SAT Approach - EPIA 2017.
EPIA
(2017)
Filipa Morgado
,
Ricardo L. Saldanha
,
Jorge Roussado
,
Luis Albino
,
Ernesto M. Morgado
,
João P. Martins
Using AI Local Search to Improve an OR Optimizer.
IAAI
(2012)
Erwin J. W. Abbink
,
Luis Albino
,
Twan Dollevoet
,
Dennis Huisman
,
Jorge Roussado
,
Ricardo L. Saldanha
Solving large scale crew scheduling problems in practice.
Public Transp.
3 (2) (2011)