Co-occurring keywords · papers mentioning both
Papers
Faster Symmetry Breaking Constraints for Abstract Structures
AAAI 2026
Shield Synthesis for LTL Modulo Theories
AAAI 2025
Comparing Ways of Obtaining Candidate Orderings from Approval Ballots
IJCAI 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
Tight Bounds for Learning RUMs from Small Slates
NeurIPS 2024
A finite-state morphological analyser for Highland Puebla Nahuatl
ACL 2023
Automata Cascades: Expressivity and Sample Complexity
AAAI 2023
On Lower Bounds for Maximin Share Guarantees
IJCAI 2023
Ordinal Maximin Share Approximation for Goods (Extended Abstract)
IJCAI 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
Parameterized Algorithms for Finding a Collective Set of Items
AAAI 2020
Temporal Relations Annotation and Extrapolation Based on Semi-intervals and Boundig Relations
COLING 2020
Unbounded Stress in Subregular Phonology
ACL 2019
Parameterized Algorithms for the Matrix Completion Problem
ICML 2018
An Improved Decision-DNNF Compiler
IJCAI 2017
Manipulating Gale-Shapley Algorithm: Preserving Stability and Remaining Inconspicuous
IJCAI 2017
Multiresolution analysis on the symmetric group
NeurIPS 2012