Papers
Iterative Budgeted Exponential Search
Malte Helmert, Tor Lattimore, Levi H. S. Lelis et al.
Regarding Jump Point Search and Subgoal Graphs
Daniel D. Harabor, Tansel Uras, Peter J. Stuckey et al.
An Evolution Strategy with Progressive Episode Lengths for Playing Games
Lior Fuks, Noor Awad, Frank Hutter et al.
An Efficient Evolutionary Algorithm for Minimum Cost Submodular Cover
Victoria G. Crawford
Conditions for Avoiding Node Re-expansions in Bounded Suboptimal Search
Jingwei Chen, Nathan R. Sturtevant
Deanonymizing Social Networks Using Structural Information
Ioannis Caragiannis, Evanthia Tsitsoka
A*+IDA*: A Simple Hybrid Search Algorithm
Zhaoxing Bu, Richard E. Korf
Path Planning with CPD Heuristics
Massimo Bono, Alfonso E. Gerevini, Daniel D. Harabor et al.
Resolution and Domination: An Improved Exact MaxSAT Algorithm
Chao Xu, Wenjun Li, Yongjie Yang et al.
Integrating Pseudo-Boolean Constraint Reasoning in Multi-Objective Evolutionary Algorithms
Miguel Terra-Neves, Inês Lynce, Vasco Manquinho
GANAK: A Scalable Probabilistic Exact Model Counter
Shubham Sharma, Subhajit Roy, Mate Soos et al.
Phase Transition Behavior of Cardinality and XOR Constraints
Yash Pote, Saurabh Joshi, Kuldeep S. Meel
Constraint-Based Scheduling with Complex Setup Operations: An Iterative Two-Layer Approach
Adriana Pacheco, Cédric Pralet, Stéphanie Roussel
Optimizing Constraint Solving via Dynamic Programming
Shu Lin, Na Meng, Wenxin Li
Stochastic Constraint Propagation for Mining Probabilistic Networks
Anna Louise D. Latour, Behrouz Babaki, Siegfried Nijssen
Acquiring Integer Programs from Data
Mohit Kumar, Stefano Teso, Luc De Raedt
Entropy-Penalized Semidefinite Programming
Mikhail Krechetov, Jakub Marecek, Yury Maximov et al.
Enumerating Potential Maximal Cliques via SAT and ASP
Tuukka Korhonen, Jeremias Berg, Matti Järvisalo
Model-Based Diagnosis with Multiple Observations
Alexey Ignatiev, Antonio Morgado, Georg Weissenbacher et al.
DoubleLex Revisited and Beyond
Xuming Huang, Jimmy Lee
Solving the Satisfiability Problem of Modal Logic S5 Guided by Graph Coloring
Pei Huang, Minghao Liu, Ping Wang et al.
Privacy-Preserving Obfuscation of Critical Infrastructure Networks
Ferdinando Fioretto, Terrence W.K. Mak, Pascal Van Hentenryck
Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions
Emir Demirovic, Peter J. Stuckey, James Bailey et al.
How to Tame Your Anticipatory Algorithm
Allegra De Filippo, Michele Lombardi, Michela Milano