Co-occurring keywords · papers mentioning both
Papers
Graph of Verification: Structured Verification of LLM Reasoning with Directed Acyclic Graphs
AAAI 2026
Decouple and Decompose: Scaling Resource Allocation with DeDe
OSDI 2025
NuMDS: An Efficient Local Search Algorithm for Minimum Dominating Set Problem
IJCAI 2025
Are Random Decompositions all we need in High Dimensional Bayesian Optimisation?
ICML 2023
Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming
IJCAI 2022
A Runtime Analysis of Typical Decomposition Approaches in MOEA/D Framework for Many-objective Optimization Problems
IJCAI 2021
A Two-Level Decomposition Framework Exploiting First and Second Order Information for SVM Training Problems
JMLR 2021
Change the World - How Hard Can that Be? On the Computational Complexity of Fixing Planning Models
IJCAI 2021
Fast and Parallel Decomposition of Constraint Satisfaction Problems
IJCAI 2020
Threshold Treewidth and Hypertree Width
IJCAI 2020
A Decomposition Approach for Urban Anomaly Detection Across Spatiotemporal Data
IJCAI 2019
Parallel Software for Training Large Scale Support Vector Machines on Multiprocessor Systems
JMLR 2006
Working Set Selection Using Second Order Information for Training Support Vector Machines
JMLR 2005