| 2016 | Knowledge compilation from DNF to switch-list representations. | Ondrej Cepek, Radek Husek |
| 2016 | Computing Possible and Necessary Equilibrium Actions (and Bipartisan Set Winners). | Markus Brill, Rupert Freeman, Vincent Conitzer |
| 2016 | False-Name-Proof Recommendations in Social Networks. | Markus Brill, Vincent Conitzer, Rupert Freeman, Nisarg Shah |
| 2016 | Conjunctive Choice Logic. | Abdelhamid Boudjelida, Salem Benferhat |
| 2016 | Z-Equilibrium For a CSP Game. | Kahina Bouchama, Mohammed Said Radjef, Lakhdar Sais |
| 2016 | A combinatorial min-max theorem and minimization of pure-Horn functions. | Endre Boros, Ondrej Cepek, Kazuhisa Makino |
| 2016 | Decomposition Methods for the Travelling Purchaser Problem. | Kyle E. C. Booth, Tony T. Tran, J. Christopher Beck |
| 2016 | Efficient Selection of Suspect Sets in Unreachable State Diagnosis. | Ryan Berryhill, Andreas G. Veneris |
| 2016 | Decompositions Based on Decision Diagrams. | David Bergman |
| 2016 | Computing multiple c-revision using OCF knowledge base. | Salem Benferhat, Amen Ajroud |
| 2016 | The Effect of Domain Modeling on Efficiency of Planning. | Roman Bartk, Jindrich Vodrzka |
| 2016 | Sentence Entailment in Compositional Distributional Semantics. | Esma Balkir, Dimitri Kartsaklis, Mehrnoosh Sadrzadeh |
| 2016 | On the Goal Value of a Boolean Function. | Eric Bach, Lisa Hellerstein, Devorah Kletenik |
| 2014 | Assigning indivisible and categorized items. | Lirong Xia |
| 2014 | Probabilistic Analysis of Random Mixed Horn Formulas. | Andreas Wotzlaw, Ewald Speckenmeyer, Stefan Porschen |
| 2014 | Variants of Quantified Linear Programming and Quantified Linear Implication. | Piotr Wojciechowski, Pavlos Eirinakis, K. Subramani |
| 2014 | Tableau-Based Model Generation for Relational Syllogistic Logics. | Erik Wennstrom |
| 2014 | Robust Optimization using Machine Learning for Uncertainty Sets. | Theja Tulabandhula, Cynthia Rudin |
| 2014 | Generalization Bounds for Learning with Linear and Quadratic Side Knowledge. | Theja Tulabandhula, Cynthia Rudin |
| 2014 | Dualization of Boolean functions Using Ternary Decision Diagrams. | Takahisa Toda |
| 2014 | Hybrid Distributions of Strings. | James Rogers |
| 2014 | On Boosting Sparse Parities. | Lev Reyzin |
| 2014 | Toward the Complexity of the Existence of Wonderfully Stable Partitions and Strictly Core Stable Coalition Structures in Hedonic Games. | Anja Rey, Jrg Rothe, Hilmar Schadrack, Lena Schend |
| 2014 | Behavioral Modeling of Sequential Bargaining Games: Fairness and Limited Backward Induction. | Xia Qu, Prashant Doshi |
| 2014 | A Sufficient Condition for Learning Unbounded Unions of Languages with Refinement Operators. | Tomohiko Okayama, Ryo Yoshinaka, Keisuke Otaki, Akihiro Yamamoto |