Co-occurring keywords · papers mentioning both
Papers
Exploiting Symmetries in MUS Computation
AAAI 2025
Finding Good Subtrees for Constraint Optimization Problems Using Frequent Pattern Mining
AAAI 2020
Learning Optimal Decision Trees Using Caching Branch-and-Bound Search
AAAI 2020
Speeding Up Incomplete GDL-based Algorithms for Multi-agent Optimization with Dense Local Utilities
IJCAI 2020
Clause Learning and New Bounds for Graph Coloring
IJCAI 2019
On Robust Trimming of Bayesian Network Classifiers
IJCAI 2018