Co-occurring keywords
Papers
Parameterization of (Partial) Maximum Satisfiability above Matching in a Variable-Clause Graph
AAAI 2024
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)
AAAI 2024
Practical $0.385$-Approximation for Submodular Maximization Subject to a Cardinality Constraint
NIPS 2024
On Sparse Canonical Correlation Analysis
NIPS 2024
Statistical Estimation in the Spiked Tensor Model via the Quantum Approximate Optimization Algorithm
NIPS 2024
Coalition Formation for Task Allocation Using Multiple Distance Metrics (Student Abstract)
AAAI 2024