Accepted Papers

Regular Track

• Exact Optimization of Social Welfare by the Nash Product is DP-Complete
  Nhan-Tam Nguyen, Magnus Roos, and Jörg Rothe

• Modeling Deep Strategic Reasoning by Humans in Competitive Games
  Xia Qu, Prashant Doshi, and Adam Goodie

• Robust Domain Adaptation
  Yishay Mansour and Mariano Schain

• PAC-Learning in the Presence of One-sided Classification Noise
  Hans Simon

• From Acceptation Relations to Causality Ascription in a Belief Function Framework
  Imen Boukhris, Zied Elouedi, and Salem Benferhat

• Computational complexity of inclusion queries over polyhedral sets
  Pavlos Eirinakis, Salvatore Ruggieri, K. Subramani, and Piotr Wojciechowski

• Constraint and Optimization techniques for supporting Policy Making
  Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, and Paolo Cagnoli

• Soft Nonlinearity Constraints and their Lower-Arity Decomposition
  Venkatesh Ramamoorthy, Marius Silaghi, Toshihiro Matsui, Katsutoshi Hirayama, and Makoto Yokoo

• On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems
  Achref El Mouelhi, Philippe Jégou, Cyril Terrioux, and Bruno Zanuttini

• Domain Adaptation--Can Quantity compensate for Quality?
  Shai Ben-David, Shai Shalev-Shwartz, and Ruth Urner

• Generalized and Bounded Policy Iteration for Interactive POMDPs
  Ekhlas Sonu and Prashant Doshi

• Solving Limited Memory Influence Diagrams Using Branch-and-Bound Search
  Arindam Khaled, Changhe Yuan, and Eric Hansen

• Identification of Causal Effects in Linear SEMs using the Instrumental Variable Function
  Hei Chan and Manabu Kuroki

• The Influence of Operational Cost on Estimation
  Cynthia Rudin and Theja Tulabandhula

• Hardness Results for Approximate Pure Horn CNF Formulae Minimization
  Aritanan Gruber and Endre Boros

Special session on Boolean and pseudo-Boolean Functions

Special Classes

• On Dillon's class H of Niho bent functions and o-polynomials
  Speaker: Claude Carlet
  Co-authors: Sihem Mesnager

• On quadratization of pseudo-Boolean functions
  Speaker: Endre Boros
  Co-authors: Aritanan Gruber

• Implementations of two algorithms for the threshold synthesis problem
  Speaker: Jan-Georg Smaus
  Co-authors: Christian Schilling and Fabian Wenzelmann

Boolean Structures

• On hierarchies over the SLUR class
  Speaker: Václav Vl\x{010d}ek
  Co-authors: T. Balyo, S.Gurský and P. Ku\x{010d}era

• Boolean functions with long prime implicants
  Speaker: Ond\x{0159}ej \x{010c}epek
  Co-authors: P. Ku\x{010d}era and S. Ku\x{0159}ík

• Bi-tone and k-tone decompositions of Boolean functions
  Speaker: Utz-Uwe Haus
  Co-authors: Elke Eisenschmidt

Data Mining

• A new imputation method for incomplete binary data
  Speaker: Mine Subasi
  Co-authors: P. L. Hammer, E. Subasi and M. Anthony

• Mining logic models in the presence of noisy data
  Speaker: Giovanni Felici
  Co-authors: Emanuel Weitschek

• The performance of a new hybrid classifier based on boxes and nearest neighbors
  Speaker: Martin Anthony
  Co-authors: Joel Ratsaby

Representations

• On the gap between ess(f) and cnf_size(f)
  Speaker: Lisa Hellerstein
  Co-authors: Devorah Kletenik

• On Horn minimization: dragon formulas and related problems
  Speaker: György Turán
  Co-authors: R. Sloan and D. Stasi

• Ordered direct implicational basis of a finite closure system
  Speaker: Kira Adaricheva
  Co-authors: J.B. Nation, Robert Rand

Special Session on Computational Social Choice

• A Cost-Minimizing Algorithm for School Choice
  Speaker: Gizem Karaali
  Co-authors: S. Aksoy, A. Azzam, C. Coppersmith, J. Glass, X. Zhao, X. Zhu

• Approximating Common Voting Rules by Sequential Voting in Multi-Issue Domains
  Speaker: Lirong Xia
  Co-authors: Vincent Conitzer

• Bribery in Voting Over Combinatorial Domains Is Easy
  Speaker: Nicholas Mattei
  Co-authors: Maria Silvia Pini, Francesca Rossi, K. Brent Venable

• A Survey of Approximability and Inapproximability Results for Social Welfare Optimization in Multiagent Resource Allocation
  Speaker: Trung Thanh Nguyen and Magnus Roos
  Co-authors: Jörg Rothe

• Behavioural social choice: a status report
  Speaker: Michel Regenwetter
  Co-authors: Bernard Grofman, Anna Popova, William Messner, Clintin P. Davis-Stober, Daniel R. Cavagnaro

• Typical-Case Challenges to Complexity Shields That Are Supposed to Protect Elections Against Manipulation and Control: A Survey
  Speaker: Jörg Rothe, Lena Schend
  Co-authors:

• Developing the Empirical Side of Computational Social Choice
  Speaker: Nicolaus Tideman
  Co-authors: T. Nicolaus Tideman, Florenz Plassmann