1

Combinatorial Properties of Triangle-Free Rectangle Arrangements and the Squarability Problem
Graph Drawing (GD'15) (Emilio Di Giacomo, Anna Lubiw, eds.), volume 9411 of LNCS, pages 231–244, 2015, Springer International Publishing.
PDF bib DOI
Community Structure Inspired Algorithms for SAT and \#SAT
18th International Conference on Theory and Applications of Satisfiability Testing (SAT 2015), September 24-27, 2015, Austin, Texas (Marijn Heule, Sean Weaver, eds.), pages 223-237, 2015, Springer Verlag.
PDF bib DOI
Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young
Proceedings of AAMAS 2015, the 14th International Conference on Autonomous Agents and Multiagent Systems, 2015, IFAAMAS/ACM.
PDF bib
CPU Versus GPU Parallelization of an Ant Colony Optimization for the Longest Common Subsequence Problem
Computer Aided Systems Theory – EUROCAST 2015, volume 9520 of LNCS, pages 401–408, 2015, Springer.
bib
Drawing Large Graphs by Multilevel Maxent-Stress Optimization
Graph Drawing (GD'15) (Emilio Di Giacomo, Anna Lubiw, eds.), volume 9411 of LNCS, pages 30–43, 2015, Springer International Publishing.
PDF bib DOI
First-Order Queries on Finite Abelian Groups
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany, pages 41–59, 2015.
PDF bib
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 (Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, eds.), 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, Michael Wooldridge, eds.), pages 275–282, 2015.
PDF bib