Table of Contents

• Computing multiple c-revision using OCF knowledge baseSalem Benferhat, Amen Ajroud. [doi]
• Solving Non-Linear Pseudo-Boolean Optimization Problems by Constraint Integer ProgrammingMichael Winkler. [doi]
• An Integrated Solver for Multi-index AssignmentStathis Plitsos, Dimitrios Magos, Ioannis Mourtos. [doi]
• Rules for Choosing Societal TradeoffsVincent Conitzer, Rupert Freeman, Markus Brill, Yuqian Li. [doi]
• Kernelization, Generation of Bounds, and the Scope of Incremental Computation for Weighted Constraint Satisfaction ProblemsT. K. Satish Kumar. [doi]
• Causal Discovery by Randomness TestSteven David Prestwich, Armagan Tarim, Ibrahim Ozkan. [doi]
• Robust Sequential Prediction in Linear Regression with Student's t-distributionJussi Määttä, Teemu Roos. [doi]
• On the Goal Value of a Boolean FunctionEric Bach, Lisa Hellerstein, Devorah Kletenik. [doi]
• Cascading Solution to Data Dependence Constraints with Z3Eric William Davis Rozier, Kristin Y. Rozier. [doi]
• Knowledge compilation from DNF to switch-list representationsOndrej Cepek, Radek Husek. [doi]
• Generating models of a matched formula with a polynomial delayPetr Savický, Petr Kucera. [doi]
• Complexity of Control by Partitioning Veto and Maximin ElectionsCynthia Maushagen, Jörg Rothe. [doi]
• Grammar-Based Integer Programming Models and Methods for Employee Scheduling ProblemsBernard Gendron, Louis-Martin Rousseau. [doi]
• Benchmarking recovery theorems for the DC-SBMYali Wan, Marina Meila. [doi]
• Voter Control in k-Approval and k-Veto under Partial InformationChristian Reger. [doi]
• Application of Hierarchical Hybrid Encodings to Solve CSPs as Equivalent SAT ProblemsMiroslav N. Velev, Ping Gao 0002. [doi]
• Computational Approaches to Open Problems in CombinatoricsIlias S. Kotsireas. [doi]
• Sentence Entailment in Compositional Distributional SemanticsEsma Balkir, Dimitri Kartsaklis, Mehrnoosh Sadrzadeh. [doi]
• Decompositions Based on Decision DiagramsDavid Bergman. [doi]
• Conjunctive Choice LogicAbdelhamid Boudjelida, Salem Benferhat. [doi]
• Partial Collective Matrix Factorization and its PAC BoundChao Lan, Xiaoli Li 0013, Yujie Deng, Jun Huan. [doi]
• Formalizing Mathematics using the Lean Theorem ProverLeonardo de Moura. [doi]
• On the computational complexities of Quantified Integer Programming variantsPiotr J. Wojciechowski, K. Subramani, Pavlos Eirinakis. [doi]
• Pattern-based Classification and Survival Analysis of Chronic Kidney DiseaseMunevver Mine Subasi, Melissa Moreno, Travaughn Bain, Megan Moreno, Ersoy Subasi, Katherine C. Carroll, Emily R. Cunningham, Michael Lipkowitz. [doi]
• Applying Search Based Probabilistic Inference Algorithms to Probabilistic Conformant Planning: Preliminary ResultsJunkyu Lee, Radu Marinescu 0002, Rina Dechter. [doi]
• Recovering Social Networks by Observing VotesBenjamin Fish, Yi Huang, Lev Reyzin. [doi]
• Hybrid Approaches Based on Lagrangian RelaxationAndré Ciré. [doi]
• Logical Analysis of Multiclass DataMunevver Mine Subasi, Juan Felix Avila Herrera. [doi]
• Learning Intelligent Theorem Proving from Large Formal CorporaJosef Urban. [doi]
• Efficient Selection of Suspect Sets in Unreachable State DiagnosisRyan Berryhill, Andreas G. Veneris. [doi]
• Detecting and Exploiting Global Structures in MIPDomenico Salvagnin. [doi]
• Logic-Based Benders Decomposition for Multiagent Scheduling with Sequence-dependent CostsAliza Heching, John N. Hooker. [doi]
• False-Name-Proof Recommendations in Social NetworksMarkus Brill, Vincent Conitzer, Rupert Freeman, Nisarg Shah 0001. [doi]
• Computing Possible and Necessary Equilibrium Actions (and Bipartisan Set Winners)Markus Brill, Rupert Freeman, Vincent Conitzer. [doi]
• A Classification Model to Predict the Rate of Decline of Kidney FunctionErsoy Subasi, Munevver Mine Subasi, Michael Lipkowitz, John Roboz, Peter L. Hammer. [doi]
• Decomposition Methods for the Travelling Purchaser ProblemKyle E. C. Booth, Tony T. Tran, J. Christopher Beck. [doi]
• A combinatorial min-max theorem and minimization of pure-Horn functionsEndre Boros, Ondrej Cepek, Kazuhisa Makino. [doi]
• Model Combinators in the Scheduling DomainLaurent Michel, Daniel Fontaine. [doi]
• The Effect of Domain Modeling on Efficiency of PlanningRoman Barták, Jindrich Vodrázka. [doi]
• Z-Equilibrium For a CSP GameKahina Bouchama, Mohammed Said Radjef, Lakhdar Sais. [doi]