← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

458 directly classified papers

Papers per year

Papers

Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage IJCAI 2017
Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017
On Querying Incomplete Information in Databases under Bag Semantics IJCAI 2017
Reformulating Queries: Theory and Practice IJCAI 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
Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract) IJCAI 2017
An Algebra for Feature Extraction ACL 2017
k-Support and Ordered Weighted Sparsity for Overlapping Groups: Hardness and Algorithms NIPS 2017
Multitask Spectral Learning of Weighted Automata NIPS 2017
On Minimum Representations of Matched Formulas (Extended Abstract) IJCAI 2017
Manipulating Gale-Shapley Algorithm: Preserving Stability and Remaining Inconspicuous IJCAI 2017
An Improved Decision-DNNF Compiler IJCAI 2017
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract) IJCAI 2017
Non-Determinism and the Dynamics of Knowledge IJCAI 2017
A General Notion of Equivalence for Abstract Argumentation IJCAI 2017
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems IJCAI 2017
Recognizing Top-Monotonic Preference Profiles in Polynomial Time IJCAI 2017
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification IJCAI 2017
Efficient Rank Aggregation via Lehmer Codes AISTATS 2017
Committee Scoring Rules: A Call to Arms IJCAI 2017
Submodular Optimization under Noise COLT 2017
Restricted Chase (Non)Termination for Existential Rules with Disjunctions IJCAI 2017
Uprooting and Rerooting Graphical Models ICML 2016
Cortical Computation via Iterative Constructions COLT 2016