conftrace_

discrete mathematics

20 papers

Explore in graph

Co-occurring keywords

combinatorial optimization (1039) approximation algorithm (630) lower bound (173) parameterized algorithm (32) formal language (78) fair division (158) maximin share (42) parameterized complexity (84) fixed-parameter tractability (39) first-order logic (171)

Papers

Faster Symmetry Breaking Constraints for Abstract Structures AAAI 2026
Shield Synthesis for LTL Modulo Theories AAAI 2025
Tight Bounds for Learning RUMs from Small Slates NIPS 2024
Lifted Planning: Recent Advances in Planning Using First-Order Representations IJCAI 2024
Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond) AAAI 2024
Comparing Ways of Obtaining Candidate Orderings from Approval Ballots IJCAI 2024
On Lower Bounds for Maximin Share Guarantees IJCAI 2023
Ordinal Maximin Share Approximation for Goods (Extended Abstract) IJCAI 2023
Automata Cascades: Expressivity and Sample Complexity AAAI 2023
A finite-state morphological analyser for Highland Puebla Nahuatl ACL 2023
Fair Disaster Containment via Graph-Cut Problems AISTATS 2022
Decomposition-Guided Reductions for Argumentation and Treewidth IJCAI 2021
Fast Algorithms for Relational Marginal Polytopes IJCAI 2021
Temporal Relations Annotation and Extrapolation Based on Semi-intervals and Boundig Relations COLING 2020
Parameterized Algorithms for Finding a Collective Set of Items AAAI 2020
Unbounded Stress in Subregular Phonology ACL 2019
Parameterized Algorithms for the Matrix Completion Problem ICML 2018
Manipulating Gale-Shapley Algorithm: Preserving Stability and Remaining Inconspicuous IJCAI 2017
An Improved Decision-DNNF Compiler IJCAI 2017
Multiresolution analysis on the symmetric group NIPS 2012