| 2012 | On the gap between ess(f) and cnf_size(f). | Lisa Hellerstein, Devorah Kletenik |
| 2012 | Bi-tone and k-tone decompositions of Boolean functions. | Utz-Uwe Haus, Elke Eisenschmidt |
| 2012 | Hardness Results for Approximate Pure Horn CNF Formulae Minimization. | Aritanan Gruber, Endre Boros |
| 2012 | Constraint and Optimization techniques for supporting Policy Making. | Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli |
| 2012 | Mining logic models in the presence of noisy data. | Giovanni Felici, Emanuel Weitschek |
| 2012 | Computational complexity of inclusion queries over polyhedral sets. | Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, Piotr Wojciechowski |
| 2012 | Identification of Causal Effects in Linear SEMs using the Instrumental Variable Function. | Hei Chan, Manabu Kuroki |
| 2012 | Boolean functions with long prime implicants. | Ondrej Cepek, Petr Kucera, Stanislav Kurik |
| 2012 | On Dillon's class H of Niho bent functions and o-polynomials. | Claude Carlet, Sihem Mesnager |
| 2012 | From Acceptation Relations to Causality Ascription in a Belief Function Framework. | Imen Boukhris, Zied Elouedi, Salem Benferhat |
| 2012 | On quadratization of pseudo-Boolean functions. | Endre Boros, Aritanan Gruber |
| 2012 | Domain Adaptation--Can Quantity compensate for Quality?. | Shai Ben-David, Shai Shalev-Shwartz, Ruth Urner |
| 2012 | The performance of a new hybrid classifier based on boxes and nearest neighbors. | Martin Anthony, Joel Ratsaby |
| 2012 | Ordered direct implicational basis of a finite closure system. | Kira V. Adaricheva, James B. Nation, Robert Rand |
| 2010 | Extracting independent rules: a new perpsective of boosting. | Yuchen Zhang, Li Zhang |
| 2010 | Solving influence diagrams using heuristic search. | Changhe Yuan, XiaoJian Wu |
| 2010 | Valid parameters for predictive state representations. | Britton Wolfe |
| 2010 | Design of parallel portfolios for SAT-based solving of Hamiltonian cycle problems. | Miroslav N. Velev, Ping Gao |
| 2010 | On the convergence of the convex relaxation method and distributed optimization of Bethe free energy. | Ming Su |
| 2010 | Identifying Transcriptional Modules using Subspace Clustering. | Amit Sinha |
| 2010 | Sparse Markov net learning with priors on regularization parameters. | Katya Scheinberg, Irina Rish, Narges Bani Asadi |
| 2010 | Multi-armed bandits with episode context. | Christopher D. Rosin |
| 2010 | Evaluating partition strategies for mini-bucket elimination. | Emma Rollon, Rina Dechter |
| 2010 | On the locality of action domination in sequential decision making. | Emmanuel Rachelson, Michail G. Lagoudakis |
| 2010 | Model Quality Assessment in Membrane Proteins Using predicted Lipid Accessibility Profiles. | Mukta Phatak, Jaroslaw Meller |