Discrete Mathematics

Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage IJCAI 2017 Committee Scoring Rules: A Call to Arms IJCAI 2017 Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems IJCAI 2017 Efficient Rank Aggregation via Lehmer Codes AISTATS 2017 First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract) IJCAI 2017 k-Support and Ordered Weighted Sparsity for Overlapping Groups: Hardness and Algorithms NeurIPS 2017 Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017 Manipulating Gale-Shapley Algorithm: Preserving Stability and Remaining Inconspicuous IJCAI 2017 Min-Max Propagation NeurIPS 2017 Multitask Spectral Learning of Weighted Automata NeurIPS 2017 Non-Determinism and the Dynamics of Knowledge IJCAI 2017 On Minimum Representations of Matched Formulas (Extended Abstract) IJCAI 2017 On Querying Incomplete Information in Databases under Bag Semantics IJCAI 2017 Pareto Optimal Allocation under Uncertain Preferences IJCAI 2017 Practical Hash Functions for Similarity Estimation and Dimensionality Reduction NeurIPS 2017 Recognizing Top-Monotonic Preference Profiles in Polynomial Time IJCAI 2017 Reformulating Queries: Theory and Practice IJCAI 2017 Restricted Chase (Non)Termination for Existential Rules with Disjunctions IJCAI 2017 Solving Stochastic Boolean Satisfiability under Random-Exist Quantification IJCAI 2017 Specifying a positive threshold function via extremal points ALT 2017 Submodular Optimization under Noise COLT 2017 The DNA Word Design Problem: A New Constraint Model and New Results IJCAI 2017 The Mixing of Markov Chains on Linear Extensions in Practice IJCAI 2017 Cortical Computation via Iterative Constructions COLT 2016 Uprooting and Rerooting Graphical Models ICML 2016