1

A Memetic Algorithm with Two Distinct Solution Representations for the Partition Graph Coloring Problem
Computer Aided Systems Theory – EUROCAST 2013 (Moreno-D'iaz, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis), volume 8111 of LNCS, pages 219-226, 2013, Springer.
PDF bib
A Mixed Integer Model for the Stamina-Aware Sightseeing Tour Problem
Extended Abstracts of the 14th International Conference on Computer Aided Systems Theory, pages 200-202, 2013.
PDF bib
A PILOT/VND/GRASP Hybrid for Balancing Bicycle Sharing Systems
Extended Abstracts of the 14th International Conference on Computer Aided Systems Theory, pages 223-225, 2013.
PDF bib
A PILOT/VND/GRASP Hybrid for the Static Balancing of Public Bicycle Sharing Systems
Computer Aided Systems Theory – EUROCAST 2013 (Moreno-D'iaz, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis), volume 8111 of LNCS, pages 372-379, 2013, Springer.
PDF bib Project
A SAT Approach to Clique-Width
Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings (Matti Järvisalo and Allen Van Gelder), volume 7962 of Lecture Notes in Computer Science, pages 318-334, 2013, Springer Verlag.
bib DOI
An Optimization Model for Integrated Timetable Based Design of Railway Infrastructure
Proceedings of the 5th International Seminar on Railway Operations Modelling and Analysis – RailCopenhagen~2013, pages 765-774, 2013, IAROR.
PDF bib
Backdoors to Abduction
Proceedings of IJCAI 2013, the 23th International Joint Conference on Artificial Intelligence, August 3-9, 2013, Beijing, China, 2013.
bib
Backdoors to Normality for Disjunctive Logic Programs
Proceedings of AAAI 2013, the 27th AAAI Conference on Artificial Intelligence, July 14-18, 2013, Bellevue, Washington, USA (Marie des Jardins and Michael L. Littman), pages 320-337, 2013, The AAAI Press.
bib
Backdoors to q-Horn
30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, February 27 - March 2, 2013, Kiel, Germany (Natacha Portier and Thomas Wilke), volume 20 of LIPIcs, pages 67-79, 2013, Leibniz-Zentrum fuer Informatik.
bib DOI
Balancing Bicycle Sharing Systems: A Variable Neighborhood Search Approach
Evolutionary Computation in Combinatorial Optimisation – 13th European Conference, EvoCOP~2013 (M. Middendorf and C. Blum), volume 7832 of LNCS, pages 121-132, 2013, Springer.
PDF bib Project