| 2016 | Benchmarking recovery theorems for the DC-SBM. | Yali Wan, Marina Meila |
| 2016 | Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT Problems. | Miroslav N. Velev, Ping Gao |
| 2016 | Learning Intelligent Theorem Proving from Large Formal Corpora. | Josef Urban |
| 2016 | A Classification Model to Predict the Rate of Decline of Kidney Function. | Ersoy Subasi, Munevver Mine Subasi, Michael Lipkowitz, John Roboz, Peter L. Hammer |
| 2016 | Pattern-based Classification and Survival Analysis of Chronic Kidney Disease. | Munevver Mine Subasi, Melissa S. Moreno, Travaughn C. Bain, Megan Moreno, Ersoy Subasi, Katherine C. Carroll, Emily R. Cunningham, Michael Lipkowitz |
| 2016 | Logical Analysis of Multiclass Data. | Munevver Mine Subasi, Juan Felix Avila Herrera |
| 2016 | Generating models of a matched formula with a polynomial delay. | Petr Savick, Petr Kucera |
| 2016 | Detecting and Exploiting Global Structures in MIP. | Domenico Salvagnin |
| 2016 | Cascading Solution to Data Dependence Constraints with Z3. | Eric William Davis Rozier, Kristin Y. Rozier |
| 2016 | Voter Control in k-Approval and k-Veto under Partial Information. | Christian Reger |
| 2016 | Causal Discovery by Randomness Test. | Steven D. Prestwich, Armagan Tarim, Ibrahim zkan |
| 2016 | An Integrated Solver for Multi-index Assignment. | Stathis Plitsos, Dimitrios Magos, Ioannis Mourtos |
| 2016 | Formalizing Mathematics using the Lean Theorem Prover. | Leonardo de Moura |
| 2016 | Model Combinators in the Scheduling Domain. | Laurent Michel, Daniel Fontaine |
| 2016 | Complexity of Control by Partitioning Veto and Maximin Elections. | Cynthia Maushagen, Jrg Rothe |
| 2016 | Robust Sequential Prediction in Linear Regression with Student's t-distribution. | Jussi Mtt, Teemu Roos |
| 2016 | Applying Search Based Probabilistic Inference Algorithms to Probabilistic Conformant Planning: Preliminary Results. | Junkyu Lee, Radu Marinescu, Rina Dechter |
| 2016 | Partial Collective Matrix Factorization and its PAC Bound. | Chao Lan, Xiaoli Li, Yujie Deng, Jun Huan |
| 2016 | Kernelization, Generation of Bounds, and the Scope of Incremental Computation for Weighted Constraint Satisfaction Problems. | T. K. Satish Kumar |
| 2016 | Computational Approaches to Open Problems in Combinatorics. | Ilias S. Kotsireas |
| 2016 | Logic-Based Benders Decomposition for Multiagent Scheduling with Sequence-dependent Costs. | Aliza Heching, John N. Hooker |
| 2016 | Grammar-Based Integer Programming Models and Methods for Employee Scheduling Problems. | Bernard Gendron, Louis-Martin Rousseau |
| 2016 | Recovering Social Networks by Observing Votes. | Benjamin Fish, Yi Huang, Lev Reyzin |
| 2016 | Rules for Choosing Societal Tradeoffs. | Vincent Conitzer, Rupert Freeman, Markus Brill, Yuqian Li |
| 2016 | Hybrid Approaches Based on Lagrangian Relaxation. | Andr A. Cir |