Abstract is missing.
- Toward the Complexity of the Existence of Wonderfully Stable Partitions and Strictly Core Stable Coalition Structures in Hedonic GamesAnja Rey, Jörg Rothe, Hilmar Schadrack, Lena Schend. [doi]
- Weighted Best First Search for Graphical ModelsNatalia Flerova, Radu Marinescu 0002, Rina Dechter. [doi]
- Monads for composing categorical and probabilistic meaningsGianluca Giorgolo, Ash Asudeh. [doi]
- Boosting Conditional Probability EstimatorsDan Gutfreund, Aryeh Kontorovich, Ran Levy, Michal Rosen-Zvi. [doi]
- Cones of Nonnegative Quadratic Pseudo-Boolean FunctionsEndre Boros, Isabella Lari. [doi]
- Behavioral Modeling of Sequential Bargaining Games: Fairness and Limited Backward InductionXia Qu, Prashant Doshi. [doi]
- Assertional-based Removed Set Revision of DL-LiteR Belief BasesSalem Benferhat, Zied Bouraoui, Odile Papini, Eric Würbel. [doi]
- Variants of Quantified Linear Programming and Quantified Linear ImplicationPiotr J. Wojciechowski, Pavlos Eirinakis, K. Subramani. [doi]
- Efficient SAT-Encoding of Linear CSP ConstraintsPedro Barahona, Steffen Hölldobler, Van-Hau Nguyen. [doi]
- Evaluation of DNF FormulasSarah R. Allen, Lisa Hellerstein, Devorah Kletenik, Tonguç Ünlüyurt. [doi]
- Linear Separation of Connected Dominating Sets in GraphsNina Chiarelli, Martin Milanic. [doi]
- The Maximum Likelihood Approach to Voting on Social NetworksVincent Conitzer. [doi]
- Networks of morphological relationsSean A. Fulop, Sylvain Neuvel. [doi]
- On Resolution Like Proofs of Monotone Self-Dual FunctionsDaya Ram Gaur. [doi]
- Reversing the Classification of Weighted Rule EnsemblesTibérius O. Bonates, José W. V. Morais Neto. [doi]
- Improving Configuration Checking for Satisfiable Random k-SAT InstancesAndré Abramé, Djamal Habet, Donia Toumi. [doi]
- Bag-Connected Tree-Width: A New Parameter for Graph DecompositionPhilippe Jégou, Cyril Terrioux. [doi]
- About Some UP-Based Polynomial Fragments of SATMohammad Al-Saedi, Éric Grégoire, Bertrand Mazure, Lakhdar Saïs. [doi]
- Finite-state subset approximation of phrase structureMans Hulden, Miikka Silfverberg. [doi]
- On the Gap between the Complexity of SAT and Minimization for Certain Classes of Boolean FormulasOndrej Cepek, Stefan Gurský. [doi]
- Function Evaluation: decision trees optimizing simultaneously worst and expected testing costFerdinando Cicalese, Eduardo Sany Laber, Aline Medeiros Saettler. [doi]
- Generalization Bounds for Partially Linear ModelsRuitong Huang, Csaba Szepesvári. [doi]
- Toward a Theory of Pattern DiscoveryJonathan H. Huggins, Cynthia Rudin. [doi]
- Probabilistic Analysis of Random Mixed Horn FormulasAndreas Wotzlaw, Ewald Speckenmeyer, Stefan Porschen. [doi]
- A Sufficient Condition for Learning Unbounded Unions of Languages with Refinement OperatorsTomohiko Okayama, Ryo Yoshinaka, Keisuke Otaki, Akihiro Yamamoto. [doi]
- A Pigeon-Hole Based Encoding of Cardinality ConstraintsSaïd Jabbour, Lakhdar Saïs, Yakoub Salhi. [doi]
- The sample complexity of agnostic learning with deterministic labelsShai Ben-David, Ruth Urner. [doi]
- Tableau-Based Model Generation for Relational Syllogistic LogicsErik Wennstrom. [doi]
- On Boosting Sparse ParitiesLev Reyzin. [doi]
- Hydras: Complexity on general graphs and a subclass of treesPetr Kucera. [doi]
- Probabilistic Knowledge Representation Using Gröbner Basis TheoryGabriele Kern-Isberner, Marco Wilhelm, Christoph Beierle. [doi]
- Generalization Bounds for Learning with Linear and Quadratic Side KnowledgeTheja Tulabandhula, Cynthia Rudin. [doi]
- The Separation Problem for Binary Decision DiagramsAndré A. Ciré, John N. Hooker. [doi]
- Optimal Sequential Multi-Way Number PartitioningRichard E. Korf, Ethan L. Schreiber, Michael D. Moffitt. [doi]
- Robust Optimization using Machine Learning for Uncertainty SetsTheja Tulabandhula, Cynthia Rudin. [doi]
- Hybrid Distributions of StringsJames Rogers. [doi]
- Assigning indivisible and categorized itemsLirong Xia. [doi]
- Representations of All Solutions of Boolean Programming ProblemsUtz-Uwe Haus, Carla Michini. [doi]
- From Sentiment Analysis to Preference AggregationUmberto Grandi, Andrea Loreggia, Francesca Rossi, Vijay A. Saraswat. [doi]
- Learning Optionality and RepetitionMeaghan Fowlie. [doi]
- Extending Tournament SolutionsFelix Brandt, Markus Brill, Paul Harrenstein. [doi]
- Dualization of Boolean functions Using Ternary Decision DiagramsTakahisa Toda. [doi]