Co-occurring keywords · papers mentioning both
Papers
Tokenisation is NP-Complete
ACL 2025
Towards Optimizing Large-Scale Multi-Graph Matching in Bioimaging
CVPR 2025
UniCO: On Unified Combinatorial Optimization via Problem Reduction to Matrix-Encoded General TSP
ICLR 2025
Unify ML4TSP: Drawing Methodological Principles for TSP and Beyond from Streamlined Design Space of Learning and Search
ICLR 2025
Verified Certificates via SAT and Computer Algebra Systems for the Ramsey R(3,8) and R(3,9) Problems
IJCAI 2025
WardropNet: Traffic Flow Predictions via Equilibrium-Augmented Learning
ICLR 2025
What can large language models do for sustainable food?
ICML 2025
Witty: An Efficient Solver for Computing Minimum-Size Decision Trees
AAAI 2025
1/2-Approximate MMS Allocation for Separable Piecewise Linear Concave Valuations
AAAI 2024
A 4-Approximation Algorithm for Min Max Correlation Clustering
AISTATS 2024
A Better Approximation for Bipartite Traveling Tournament in Inter-League Sports Scheduling
IJCAI 2024
Accelerating Cutting-Plane Algorithms via Reinforcement Learning Surrogates
AAAI 2024
Accelerating ERM for data-driven algorithm design using output-sensitive techniques
NeurIPS 2024
Accelerating Matroid Optimization through Fast Imprecise Oracles
NeurIPS 2024
A Complete Landscape of EFX Allocations on Graphs: Goods, Chores and Mixed Manna
IJCAI 2024
A Diffusion Model Framework for Unsupervised Neural Combinatorial Optimization
ICML 2024
A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem
AAAI 2024
A Neural Column Generation Approach to the Vehicle Routing Problem with Two-Dimensional Loading and Last-In-First-Out Constraints
IJCAI 2024
Approximation Algorithms for Preference Aggregation Using CP-Nets
AAAI 2024
Are Graph Neural Networks Optimal Approximation Algorithms?
NeurIPS 2024
A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract)
AAAI 2024
A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract)
AAAI 2024
A Unified Characterization of Private Learnability via Graph Theory
COLT 2024
Bayesian Optimization of Functions over Node Subsets in Graphs
NeurIPS 2024
Benchmarking PtO and PnO Methods in the Predictive Combinatorial Optimization Regime
NeurIPS 2024