1

Fixed-parameter Tractable Reductions to SAT for Planning
Proceedings of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence, July 25–31, 2015, Buenos Aires, Argentina, 2015.
PDF bib
FO Model Checking on Posets of Bounded Width
IEEE 56th Annual Symposium on Foundations of Computer Science, FOCS 2015, Berkeley, CA, USA, 17-20 October, 2015, pages 963-974, 2015.
PDF bib DOI
Heuristic Approaches for the Probabilistic Traveling Salesman Problem
Computer Aided Systems Theory – EUROCAST 2015 (Moreno-D'iaz, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis), volume 9520 of LNCS, pages 342-349, 2015, Springer International Publishing Switzerland.
PDF bib DOI
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning
Proceedings of IJCAI 2015, the 24th International Joint Conference on Artificial Intelligence, July 25–31, 2015, Buenos Aires, Argentina (Qiang Yang and Michael Wooldridge), pages 275-282, 2015.
PDF bib
Label Placement in Road Maps
Algorithms and Complexity (CIAC'15) (Paschos, V. Th. and Widmayer, Peter), volume 9079 of LNCS, pages 221-234, 2015, Springer International Publishing.
PDF bib DOI
Linear Time Parameterized Algorithms for Subset Feedback Vertex Set
Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part I, pages 935-946, 2015.
PDF bib DOI
Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP
SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sn\ve\vzkou, Czech Republic, January 24-29, 2015. Proceedings, volume 8939 of Lecture Notes in Computer Science, pages 217-229, 1 2015, Springer Verlag.
PDF bib DOI
Meta-Kernelization using Well-Structured Modulators
Parameterized and Exact Computation - 10th International Symposium, IPEC 2014, Patras, Greece, September 16-18, 2015. Revised Selected Papers (Thore Husfeldt and Iyad A. Kanj), volume 43 of LIPIcs, pages 114-126, 2015.
PDF bib DOI
Metaheuristics for the Two-Dimensional Container Pre-Marshalling Problem
Conference Proceedings of Learning and Intelligent Optimization Conference (LION~9), volume 8994 of LNCS, pages 186-201, 2015, Springer.
bib
Metric Dimension of Bounded Width Graphs
Mathematical Foundations of Computer Science 2015 - 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II, pages 115-126, 2015.
PDF bib DOI