Abstract is missing.
- 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]