1

GRASP and VNS for a Periodic VRP with Time Windows to Deal with Milk Collection
Extended Abstracts of the Sixteenth International Conference on Computer Aided Systems Theory – EUROCAST 2017 (Moreno-D'iaz, Roberto and Pichler, Franz and Quesada-Arencibia, Alexis), 2017.
bib
Herbrand Property: Finite Quasi-Herbrand Models and Lifting Chandra-Merlin Theorem to Quantified Conjunctive Queries
Proceedings of the Thirty-Second ACM/IEEE Symposium on Logic in Computer Science (LICS) June 20-23, 2017, Reykjavik, Iceland, 2017.
PDF bib
Hierarchical Clustering and Multilevel Refinement for the Bike-Sharing Station Planning Problem
Conference Proceedings of Learning and Intelligent Optimization Conference (LION~11) (Roberto Battiti and Dmitri Kvasov and Yaroslav Sergeyev), volume 10556 of LNCS, pages 1-16, 2017, Springer.
PDF bib DOI
How many variables are needed to express an existential positive query?
Proceeding of the Twentieth International Conference on Database Theory (ICDT), March 21-24, 2017, Venice, Italy, 2017.
Note: Best Paper Award
bib
Job Sequencing with One Common and Multiple Secondary Resources: A Problem Motivated from Particle Therapy for Cancer Treatment
MOD~2017: Machine Learning, Optimization, and Big Data – Third International Conference (Giuffrida, Giovanni and Nicosia, Giuseppe and Pardalos, Panos and Umeton, Renato), volume 10710 of LNCS, pages 506-518, 2017, Springer.
PDF bib
Linear Representation of Transversal Matroids and Gammoids parameterized by rank
Computing and Combinatorics: 23rd International Conference, COCOON 2017, Hong Kong, China, August 3-5, 2017, Proceedings (Cao, Yixin and Chen, Jianer), pages 420-432, 2017, Springer Verlag.
PDF bib DOI
Long-Distance Q-Resolution with Dependency Schemes
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Serge Gaspers and Toby Walsh), volume 10491 of Lecture Notes in Computer Science, pages 298-313, 2017, Springer Verlag.
PDF bib DOI
Lossy kernelization
Proceedings of the 49th Annual ACM SIGACT Symposium on Theory of Computing, STOC 2017, Montreal, QC, Canada, June 19-23, 2017, pages 224-237, 2017.
PDF bib DOI
New Width Parameters for Model Counting
Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings (Serge Gaspers and Toby Walsh), volume 10491 of Lecture Notes in Computer Science, pages 38-52, 2017, Springer Verlag.
PDF bib DOI
On Structural Parameterizations of the Edge Disjoint Paths Problem
28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand (Yoshio Okamoto and Takeshi Tokuyama), volume 92 of LIPIcs, pages 36:1-36:13, 2017, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.
PDF bib