Combinatorial Optimization

Adaptive Softassign via Hadamard-Equipped Sinkhorn CVPR 2024 Adaptive Stabilization Based on Machine Learning for Column Generation ICML 2024 A Dynamic Algorithm for Weighted Submodular Cover Problem ICML 2024 A Fast Algorithm for MaxSAT above Half Number of Clauses IJCAI 2024 A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem AAAI 2024 Allocating Mixed Goods with Customized Fairness and Indivisibility Ratio IJCAI 2024 Altruism in Facility Location Problems AAAI 2024 A Multi-Valued Decision Diagram-Based Approach to Constrained Optimal Path Problems over Directed Acyclic Graphs IJCAI 2024 An Approximate Skolem Function Counter AAAI 2024 An Effective Polynomial Technique for Compiling Conditional Effects Away AAAI 2024 An Efficient Maximal Ancestral Graph Listing Algorithm ICML 2024 A Neural Column Generation Approach to the Vehicle Routing Problem with Two-Dimensional Loading and Last-In-First-Out Constraints IJCAI 2024 A New Branch-and-Bound Pruning Framework for ℓ_0-Regularized Problems ICML 2024 An Exercise in Tournament Design: When Some Matches Must Be Scheduled AAAI 2024 Approximate Distance Oracle for Fault-Tolerant Geometric Spanners AAAI 2024 Approximation Algorithms for Preference Aggregation Using CP-Nets AAAI 2024 Approximation Scheme for Weighted Metric Clustering via Sherali-Adams AAAI 2024 Are Graph Neural Networks Optimal Approximation Algorithms? NeurIPS 2024 A Reinforcement-Learning-Based Multiple-Column Selection Strategy for Column Generation AAAI 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 SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem IJCAI 2024 A Submodular Optimization Approach to Accountable Loan Approval AAAI 2024 Automatic Partitioning of a Code-Switched Speech Corpus Using Mixed-Integer Programming COLING 2024 AutoSketch: Automatic Sketch-Oriented Compiler for Query-driven Network Telemetry NSDI 2024