This track is composed of extended versions of award winning papers from select AI conferences. The specific award for each paper is indicated below.


On the Parallel Parameterized Complexity of MaxSAT Variants

SAT 2022, nominated for Best Paper Award
Max Bannach, Malte Skambath, and Till Tantau

Clustering what Matters: Optimal Approximation for Clustering with Outliers

AAAI 2023 Distinguished Paper
Akanksha Agrawal, Tanmay Inamdar, Saket Saurabh, and Jie Xue

Certified Dominance and Symmetry Breaking for Combinatorial Optimisation

AAAI 2022 Distinguished Paper Award
Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, and Jakob Nordström

Improved Peel-and-Bound: Methods for Generating Dual Bounds with Multivalued Decision Diagrams

CP 2022 Best Paper Award
Isaac Rudich, Quentin Cappart, and Louis-Martin Rousseau

Classes of Hard Formulas for QBF Resolution

SAT 2022 Best Paper Award Nominee
Agnes Schleitzer and Olaf Beyersdorff

On Centralized Critics in Multi-Agent Reinforcement Learning

AAMAS 2021 Best Paper Award Finalist
Xueguang Lyu, Andrea Baisero, Yuchen Xiao, Brett Daley, and Christopher Amato

Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions

AAAI 2022 Distinguished Paper Award
Thom Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Marielle Stoelinga, and Nils Jansen

Characterizing Tseitin-Formulas with Short Regular Resolution Refutations

SAT 2021 Best Student Paper Award
Alexis de Colnet and Stefan Mengel

Better Decision Heuristics in CDCL through Local Search and Target Phases

SAT 2021 Best Paper Award
Shaowei Cai, Xindi Zhang, Mathias Fleury and Armin Biere

Flexible FOND Planning with Explicit Fairness Assumptions

ICAPS 2021 Best Paper Award
Ivan D. Rodriguez, Blai Bonet, Sebastian Sardina, Hector Geffner

On the Tractability of SHAP Explanations

AAAI 2021 Distinguished Paper Award
Guy Van den Broeck, Anton Lykov, Maximilian Schleich and Dan Suciu

Cooperation and Learning Dynamics under Wealth Inequality and Diversity in Individual Risk

AAMAS 2021 Best Paper Award Finalist
Ramona Merhej, Fernando P. Santos, Francisco S. Melo, Francisco C. Santos

Avoiding Negative Side Effects of Autonomous Systems in the Open World

IJCAI 2020 Distinguished Paper Award
Sandhya Saisubramanian, Ece Kamar and Shlomo Zilberstein

Agent-Based Modeling for Predicting Pedestrian Trajectories Around an Autonomous Vehicle

AAMAS 2021 Pragnesh Jay Modi Best Student Paper Award
Manon Prédhumeau, Lyuba Mancheva, Julie Dugdale and Anne Spalanzani

Scalable Online Planning for Multi-Agent MDPs

Best Paper AAMAS 2021
Shushman Choudhury, Jayesh K. Gupta, Peter Morales, and Mykel J. Kochenderfer

Constraint-based Diversification of JOP Gadgets

Best Paper in the Applications Track, CP 2020
Rodothea Myrsini Tsoupidi, Roberto Castañeda Lozano and Benoit Baudry

Learning Optimal Decision Sets and Lists with SAT

Best Paper in the CP/ML Track, CP 2020
Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey and Pierre Le Bodic

Finding the Hardest Formulas for Resolution

CP 2020 Best Paper Award
Tomáš Peitl and Stefan Szeider

Generic Constraint-based Block Modeling using Constraint Programming

CP 2019 Best Paper Award
Alex Mattenet, Ian Davidson, Siegfried Nijssen and Pierre Schaus

On Super Strong ETH

SAT 2019 Best Paper Award
Nikhil Vyas and Ryan Williams

Zone pAth Construction (ZAC) based Approaches for Effective Real-Time Ridesharing

ICAPS 2019 Best Applications Paper Award sponsored by UTRC
Meghna Lowalekar, Pradeep Varakantham and Patrick Jaillet

The PETLON Algorithm to Plan Efficiently for Task-Level-Optimal Navigation

AAMAS 2018 Best Robotics Track Paper
Shih-Yun Lo, Shiqi Zhang and Peter Stone

Constraint and Satisfiability Reasoning for Graph Coloring

CP 2018 Best Paper Award
Emmanuel Hebrard and George Katsirelos

Towards Partial Order Reductions for Strategic Ability

AAMAS 18, nominated for Best Paper Award
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembiński and Antoni Mazurkiewicz

Simulating Offender Mobility: Modeling Activity Nodes from Large-Scale Human Activity Data

AAMAS 2018 Pragnesh Jay Modi Best Student Paper Award
Raquel Rosés, Cristina Kadar, Charlotte Gerritsen, Chris Rouly

Adversarial Attacks on Crowdsourcing Quality Control

HCOMP 2018 Best Paper Award
Alessandro Checco, Jo Bates, Gianluca Demartini

HTN Planning as Heuristic Progression Search

ICAPS 2018 Best Student Paper Award
Daniel Höller, Pascal Bercher, Gregor Behnke, Susanne Biundo

Annotator Rationales for Labeling Tasks in Crowdsourcing

HCOMP 2016 Best Paper Award
Mucahid Kutlu, Tyler McDonnell, Tamer Elsayed and Matthew Lease

Using Task Descriptions in Lifelong Machine Learning for Improved Performance and Zero-Shot Transfer

IJCAI 2016 Distinguished Student Paper Award
Mohammad Rostami, David Isele, Eric Eaton

Optimal Torpedo Scheduling

CP 2017 Best Student Paper Award
Adrian Goldwaser, Andreas Schutt

Rationalisation of Profiles of Abstract Argumentation Frameworks: Characterisation and Complexity

AAMAS 2016 Best Paper Award
Stéphane Airiau, Elise Bonzon, Ulle Endriss, Nicolas Maudet, Julien Rossit

Welfare Effects of Market Making in Continuous Double Auctions

AAMAS 2015 Pragnesh Jay Modi Best Student Paper Award
Elaine Wah, Mason Wright, Michael P. Wellman

Market Interfaces for Electric Vehicle Charging

The Best Innovative Applications Paper, AAMAS 2016
Sebastian Stein, Enrico H. Gerding, Adrian Nedea, Avi Rosenfeld, Nicholas R. Jennings

Semantic Visualization with Neighborhood Graph Regularization

AAAI 2014 Honorable Mention for Outstanding Paper
Tuan M. V. Le, Hady W. Lauw

Predicting Twitter User Demographics using Distant Supervision from Website Traffic Data

AAAI 2015 Outstanding Paper Honorable Mention
Aron Culotta, Nirmal Kumar Ravi, Jennifer Cutler

A Compositional Framework for Grounding Language Inference, Generation, and Acquisition in Video

ACL 2013 Best Paper Award
Haonan Yu, N. Siddharth, Andrei Barbu, Jeffrey Mark Siskind

Weighted Electoral Control

AAMAS 2013 Best Paper Award Finalist
Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra

Sensitivity of Diffusion Dynamics to Network Uncertainty

AAAI 2013 Honorable Mention for Best Paper
A. Adiga, C. J. Kuhlman, H. S. Mortveit, A. K. S. Vullikanti

Probabilistic Inference in Credal Networks: New Complexity Results

UAI 2013 Best Student Paper
D. D. Maua, C. P. de Campos, A. Benavoli, A. Antonucci

Improving Delete Relaxation Heuristics Through Explicitly Represented Conjunctions

ICAPS 2012 Best Paper Award
E. Keyder, J. Hoffmann, P. Haslum

HC-Search: A Learning Framework for Search-based Structured Prediction

AAAI 2013 Outstanding Paper Award
J.R. Doppa, A. Fern, P. Tadepalli

Game-Theoretic Patrolling with Dynamic Execution Uncertainty and a Case Study on a Real Transit System

AAMAS 2013 Best Paper Award Finalist
F.M. Delle Fave, A.X. Jiang, Z. Yin, C. Zhang, M. Tambe, S. Kraus, J. P. Sullivan

Modelling Observation Correlations for Active Exploration and Robust Object Detection

ICAPS 2011 Best Student Paper
J. Velez, G. Hemann, A. S. Huang, I. Posner, N. Roy

Plan-based Policies for Efficient Multiple Battery Load Management

ICAPS 2011 Best Paper Award
M. Fox, D. Long, D. Magazzeni

Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice

AAAI 2010 Outstanding Paper Award
B. Cuenca Grau, B. Motik, G. Stoilos, I. Horrocks

Computing All-Pairs Shortest Paths by Leveraging Low Treewidth

ICAPS 2011 Honorable Mention for Best Student Paper
L. R. Planken, M. M. de Weerdt, R. P.J. van der Krogt

SAS+ Planning as Satisfiability

AAAI 2010 Outstanding Paper Award
R. Huang, Y. Chen, W. Zhang

Theoretical and Practical Foundations of Large-Scale Agent-Based Micro-Storage in the Smart Grid

AAMAS 2010 iRobot Best Paper Award and Honorable Mention for the 2016 IJCAI-JAIR Best Paper Prize
P. Vytelingum, T. D. Voice, S. D. Ramchurn, A. Rogers, N. R. Jennings

Towards Flexible Teamwork

2012 IFAAMAS Award for Influential Papers in Autonomous Agents and Multiagent Systems
M. Tambe

A Market-Oriented Programming Environment and its Application to Distributed Multicommodity Flow Problems

2012 IFAAMAS Award for Influential Papers in Autonomous Agents and Multiagent Systems
M. P. Wellman