Publications

Optimising Cyclic Timetables with a Sat Approach Epia 2017

AuthID
P-00N-114

Author(s)

Matos, GP

Albino, L

Saldanha, RL

Morgado, EM

Editor(s)

Oliveira, E; Gama, J; Vale, Z; Cardoso, HL

Document Type

Proceedings Paper

Year published

2017

Published

in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017) in Lecture Notes in Artificial Intelligence, ISSN: 0302-9743

Volume: 10423, Pages: 343-354 (12)

Conference

18Th Epia Conference on Artificial Intelligence (Epia), Date: SEP 05-08, 2017, Location: Univ Porto, Fac Engn, Porto, PORTUGAL, Sponsors: EPIA, Univ Porto, Artificial Intelligence & Comp Sci Lab, INESC TEC, Lab Artificial Intelligence & Decis Support, Inst Engn Polytechn Porto, Intelligent Engn & Comp Adv Innovat & Dev Res Grp, Host: Univ Porto, Fac Engn

Indexing