conftrace_
← Mathematics
Mathematics & Optimization › Mathematics ›

Discrete Mathematics

484 papers

Papers per year

1
1
10
55
42
'05
'10
'15
'20
'25

Papers

Recognizing Top-Monotonic Preference Profiles in Polynomial Time IJCAI 2017
Manipulating Gale-Shapley Algorithm: Preserving Stability and Remaining Inconspicuous IJCAI 2017
The Mixing of Markov Chains on Linear Extensions in Practice IJCAI 2017
Compact MDDs for Pseudo-Boolean Constraints with At-Most-One Relations in Resource-Constrained Scheduling Problems IJCAI 2017
The DNA Word Design Problem: A New Constraint Model and New Results IJCAI 2017
An Improved Decision-DNNF Compiler IJCAI 2017
Solving Stochastic Boolean Satisfiability under Random-Exist Quantification IJCAI 2017
A General Notion of Equivalence for Abstract Argumentation IJCAI 2017
A Study of Unrestricted Abstract Argumentation Frameworks IJCAI 2017
Reformulating Queries: Theory and Practice IJCAI 2017
Restricted Chase (Non)Termination for Existential Rules with Disjunctions IJCAI 2017
On Querying Incomplete Information in Databases under Bag Semantics IJCAI 2017
Lazy-Grounding for Answer Set Programs with External Source Access IJCAI 2017
Non-Determinism and the Dynamics of Knowledge IJCAI 2017
Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage IJCAI 2017
First-Order Modular Logic Programs and their Conservative Extensions (Extended Abstract) IJCAI 2017
On Minimum Representations of Matched Formulas (Extended Abstract) IJCAI 2017
Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract) IJCAI 2017
Committee Scoring Rules: A Call to Arms IJCAI 2017
Active-set Methods for Submodular Minimization Problems JMLR 2017
Cortical Computation via Iterative Constructions COLT 2016
Uprooting and Rerooting Graphical Models ICML 2016
Lifted Symmetry Detection and Breaking for MAP Inference NIPS 2015
A Generalization of Submodular Cover via the Diminishing Return Property on the Integer Lattice NIPS 2015
Submodular Hamming Metrics NIPS 2015