Papers
Solving QBF by Clause Selection
Mikolas Janota, Joao Marques-Silva
Statistical Regimes and Runtime Prediction
Barry Hurley, Barry O'Sullivan
Expressive Logical Combinators for Free
Pierre Geneves, Alan Schmitt
ReACTR: Realtime Algorithm Configuration through Tournament Rankings
Tadhg Fitzgerald, Yuri Malitsky, Barry O'Sullivan
Combining Preference Elicitation and Search in Multiobjective State-Space Graphs
Nawal Benabbou, Patrice Perny
Multi-Armed Bandits for Adaptive Constraint Propagation
Amine Balafrej, Christian Bessiere, Anastasia Paparrizou
Exploiting the Structure of Unsatisfiable Cores in MaxSAT
Carlos Ansotegui, Frederic Didier, Joel Gabas
Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning
Michael Abseher, Frederico Dusberger, Nysret Musliu et al.
On the Resiliency of Unit Propagation to Max-Resolution
André Abramé, Djamal Habet
Finding Diverse Solutions of High Quality to Constraint Optimization Problems
Thierry Petit, Andrew C. Trapp
Maximum Satisfiability Using Cores and Correction Sets
Nikolaj Bjorner, Nina Narodytska
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT
Jeremias Berg, Paul Saikko, Matti Järvisalo
A Multicore Tool for Constraint Solving
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
Selling Reserved Instances in Cloud Computing
Changjun Wang, Weidong Ma, Tao Qin et al.
Maximal Cooperation in Repeated Games on Social Networks
Catherine Moon, Vincent Conitzer
Mechanism Design and Implementation for Lung Exchange
Suiqian Luo, Pingzhong Tang
Bonus or Not? Learn to Reward in Crowdsourcing
Ming Yin, Yiling Chen
A Deterministic Partition Function Approximation for Exponential Random Graph Models
Wen Pu, Jaesik Choi, Yunseong Hwang et al.
Context-Independent Claim Detection for Argument Mining
Marco Lippi, Paolo Torroni
Semi-Universal Portfolios with Transaction Costs
Dingjiang Huang, Yan Zhu, Bin Li et al.
Computer Science on the Move: Inferring Migration Regularities from the Web via Compressed Label Propagation
Fabian Hadiji, Martin Mladenov, Christian Bauckhage et al.
Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty
Robert Bredereck, Jiehua Chen, Rolf Niedermeier et al.
Emotions in Argumentation: an Empirical Evaluation
Sahbi Benlamine, Maher Chaouachi, Serena Villata et al.
Uncovering Hidden Structure through Parallel Problem Decomposition for the Set Basis Problem: Application to Materials Discovery
Yexiang Xue, Stefano Ermon, Carla P. Gomes et al.
Optimal Pricing for the Competitive and Evolutionary Cloud Market
Bolei Xu, Tao Qin, Guoping Qiu et al.