Papers
Relaxed Exists-Step Plans in Planning as SMT
Miquel Bofill, Joan Espasa, Mateu Villaret
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems
Miquel Bofill, Jordi Coll, Josep Suy et al.
Scalable Constraint-based Virtual Data Center Allocation
Sam Bayless, Nodir Kodirov, Ivan Beschastnikh et al.
Stochastic Constraint Programming with And-Or Branch-and-Bound
Behrouz Babaki, Tias Guns, Luc de Raedt
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski
The Mixing of Markov Chains on Linear Extensions in Practice
Topi Talvitie, Teppo Niinimäki, Mikko Koivisto
A Reduction based Method for Coloring Very Large Graphs
Jinkun Lin, Shaowei Cai, Chuan Luo et al.
Online Bridged Pruning for Real-Time Search with Arbitrary Lookaheads
Carlos Hernandez, Adi Botea, Jorge A. Baier et al.
Compromise-free Pathfinding on a Navigation Mesh
Michael Cui, Daniel D. Harabor, Alban Grastien
Front-to-End Bidirectional Heuristic Search with Near-Optimal Node Expansions
Jingwei Chen, Robert C. Holte, Sandra Zilles et al.
An Admissible HTN Planning Heuristic
Pascal Bercher, Gregor Behnke, Daniel Höller et al.
Estimating the size of search trees by sampling with domain knowledge
Gleb Belov, Samuel Esler, Dylan Fernando et al.
How to Form Winning Coalitions in Mixed Human-Computer Settings
Yair Zick, Kobi Gal, Yoram Bachrach et al.
Agent Design Consistency Checking via Planning
Nitin Yadav, John Thangarajah, Sebastian Sardina
Score Aggregation via Spectral Method
Mingyu Xiao, Yuqing Wang
Multi-Agent Planning with Baseline Regret Minimization
Feng Wu, Shlomo Zilberstein, Xiaoping Chen
Manipulating Gale-Shapley Algorithm: Preserving Stability and Remaining Inconspicuous
Rohit Vaish, Dinesh Garg
On the Power and Limitations of Deception in Multi-Robot Adversarial Patrolling
Noga Talmor, Noa Agmon
Online Optimization of Video-Ad Allocation
Hanna Sumita, Yasushi Kawase, Sumio Fujita et al.
Attachment Centrality for Weighted Graphs
Jadwiga Sosnowska, Oskar Skibski
Proportional Rankings
Piotr Skowron, Martin Lackner, Markus Brill et al.
Synchronisation Games on Hypergraphs
Sunil Simon, Dominik Wojtczak
Why You Should Charge Your Friends for Borrowing Your Stuff
Kijung Shin, Euiwoong Lee, Dhivya Eswaran et al.
Posted Pricing sans Discrimination
Shreyas Sekar