← Foundations
Computer Science › Foundations ›

Algorithms

1295 directly classified papers

Papers per year

Papers

Co-Certificate Learning with SAT Modulo Symmetries IJCAI 2023
Now We’re Talking: Better Deliberation Groups through Submodular Optimization AAAI 2023
Practical Parallel Algorithms for Submodular Maximization Subject to a Knapsack Constraint with Nearly Optimal Adaptivity AAAI 2023
Yes, we CANN: Constrained Approximate Nearest Neighbors for Local Feature-Based Visual Localization ICCV 2023
On Distribution Dependent Sub-Logarithmic Query Time of Learned Indexing ICML 2023
Chordal Averaging on Flag Manifolds and Its Applications ICCV 2023
GNN&GBDT-Guided Fast Optimizing Framework for Large-scale Integer Programming ICML 2023
Vanishing Point Estimation in Uncalibrated Images with Prior Gravity Direction ICCV 2023
Improved Algorithms for White-Box Adversarial Streams ICML 2023
Minimal Solutions to Uncalibrated Two-view Geometry with Known Epipoles ICCV 2023
Fully Dynamic Submodular Maximization over Matroids ICML 2023
SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver AAAI 2023
$k$-Means Clustering with Distance-Based Privacy NIPS 2023
Fair Division of a Graph into Compact Bundles IJCAI 2023
Efficient Object Search in Game Maps IJCAI 2023
A Framework to Design Approximation Algorithms for Finding Diverse Solutions in Combinatorial Problems AAAI 2023
Intersection Coordination with Priority-Based Search for Autonomous Vehicles AAAI 2023
Clustering What Matters: Optimal Approximation for Clustering with Outliers AAAI 2023
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results JMLR 2023
Efficient Computation of Rankings from Pairwise Comparisons JMLR 2023
Sorting with Predictions NIPS 2023
A Regular Matching Constraint for String Variables IJCAI 2023
Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context NIPS 2023
Fantastic Weights and How to Find Them: Where to Prune in Dynamic Sparse Training NIPS 2023
Online List Labeling with Predictions NIPS 2023