exact algorithm

Exact Algorithms and Lower Bounds for Forming Coalitions of Constrained Maximum Size AAAI 2025 Exact Algorithms for Multiagent Path Finding with Communication Constraints on Tree-Like Structures AAAI 2025 Exact Algorithms with New Upper Bounds for the Maximum k-plex Problem IJCAI 2025 Heterogeneous Multi-Robot Graph Coverage with Proximity and Movement Constraints AAAI 2025 Solving Multiagent Path Finding on Highly Centralized Networks AAAI 2025 Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025 Exactly Solving Minimum Dominating Set and Its Generalization IJCAI 2024 KD-Club: An Efficient Exact Algorithm with New Coloring-Based Upper Bound for the Maximum k-Defective Clique Problem AAAI 2024 An Exact Algorithm for the Minimum Dominating Set Problem IJCAI 2023 Complexity Results and Exact Algorithms for Fair Division of Indivisible Items: A Survey IJCAI 2023 Improved Algorithms for Maximum Satisfiability and Its Special Cases AAAI 2023 PathLAD+: An Improved Exact Algorithm for Subgraph Isomorphism Problem IJCAI 2023 An Exact MaxSAT Algorithm: Further Observations and Further Improvements IJCAI 2022 Exact Paired-Permutation Testing for Structured Test Statistics NAACL 2022 Fine-grained Complexity of Partial Minimum Satisfiability IJCAI 2022 Exact and approximate hierarchical clustering using A* UAI 2021 SAT-based Decision Tree Learning for Large Data Sets AAAI 2021 Efficient Inference of Optimal Decision Trees AAAI 2020 Resolution and Domination: An Improved Exact MaxSAT Algorithm IJCAI 2019 Solving Integer Quadratic Programming via Explicit and Structural Restrictions AAAI 2019 An Exact Algorithm for Maximum k-Plexes in Massive Graphs IJCAI 2018 Exact Algorithms and Complexity of Kidney Exchange IJCAI 2018 Finding Optimal Bayesian Networks with Local Structure PGM 2018 Exact Learning of Bounded Tree-width Bayesian Networks AISTATS 2013 An Exact Algorithm for F-Measure Maximization NeurIPS 2011