1

A Construct Merge Solve and Adapt Heuristic for Least Cost Influence Maximization
Proceedings of the Metaheuristics International Conference – MIC 2026, 2026, Springer.
Note: To appear
PDF bib
A Denoising Diffusion Adaptive Search for the Alpha-Domination Problem on Social Graphs
Evolutionary Computation in Combinatorial Optimization (Krejca, Martin S. and Pillay, Nelishia), volume 16522 of LNCS, pages 133-149, 2026, Springer.
PDF bib DOI
A Fixed-Parameter Algorithm for Extending Upward Planar Drawings
34th International Symposium on Graph Drawing and Network Visualization, GD 2026, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Note: to appear
bib Project Project
A Parameterized-Complexity Framework for Finding Local Optima
17th Innovations in Theoretical Computer Science Conference, ITCS 2026, 2026.
Note: to appear
bib Project Project
A Quasi-Polynomial Time Algorithm for 3-Coloring Circle Graphs (Best Paper Award)
2026 Symposium on Simplicity in Algorithms, SOSA 2026, 2026, SIAM.
Note: to appear
bib Project Project Project
A Reinforcement Learning Guided Large Neighborhood Search for the Dynamic Electric Autonomous Dial-a-Ride Problem
Machine Learning, Optimization, and Data Science (Nicosia, Giuseppe and Ojha, Varun and Giesselbach, Sven and Pardalos, M. Panos and Umeton, Renato and Emanuele, La Malfa and Gabriele, La Malfa), pages 425-439, 2026, Springer Nature Switzerland.
bib
Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design
Proceedings of the 20th Conference on Neurosymbolic Learning and Reasoning (NeSy 2026), 2026.
Note: To appear; preprint: CoRR abs/2603.08322, https://arxiv.org/abs/2603.08322
bib Project Project
Algorithm Selection with Zero Domain Knowledge via Text Embeddings
Proceedings of the International Conference on Automated Machine Learning, AutoML 2026, September 28 – October 1, 2026, Ljubljana, Slovenia, 2026.
Note: To appear; preprint: CoRR abs/2604.19753, https://arxiv.org/abs/2604.19753
bib Project Project
ASP-Bench: From Natural Language to Logic Programs
Proceedings of the 2nd IEEE/ACM International Workshop on Neuro-Symbolic Software Engineering (NSE ‘26), pages 1-8, 2026, ACM.
Note: Preprint: CoRR abs/2602.01171, https://arxiv.org/abs/2602.01171
PDF bib Project Project DOI
Bilateral Treewidth for QBF: Where Strategies and Resolution Meet
29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, 2026, Schloss Dagstuhl - Leibniz-Zentrum für Informatik.
Note: to appear
bib Project Project