← Foundations
Computer Science › Foundations ›

Algorithms

1295 directly classified papers

Papers per year

Papers

Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization AAAI 2025
Breaking Symmetries in Quantified Graph Search: A Comparative Study AAAI 2025
Improved Approximation Algorithms for Clustered TSP and Subgroup Planning AAAI 2025
GRICP: Granular-Ball Iterative Closest Point with Multikernel Correntropy for Point Cloud Fine Registration AAAI 2025
Are Optimal Algorithms Still Optimal? Rethinking Sorting in LLM-Based Pairwise Ranking with Batching and Caching ACL 2025
Speedup Techniques for Switchable Temporal Plan Graph Optimization AAAI 2025
Prediction-Based Adaptive Variable Ordering Heuristics for Constraint Satisfaction Problems AAAI 2025
CodeScientist: End-to-End Semi-Automated Scientific Discovery with Code-based Experimentation ACL 2025
DiskVPS: Vanishing Point Detector via Hough Transform in a Disk Region CVPR 2025
The Complexity of Extending Fair Allocations of Indivisible Goods AAAI 2025
Less is More: Efficient Image Vectorization with Adaptive Parameterization CVPR 2025
Matrix-Free Shared Intrinsics Bundle Adjustment CVPR 2025
Fast and Synchronous Crash Consistency with Metadata Write-Once File System OSDI 2025
Tintin: A Unified Hardware Performance Profiling Infrastructure to Uncover and Manage Uncertainty OSDI 2025
Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery OSDI 2025
Inapproximability of Optimal Multi-Agent Pathfinding Problems AAAI 2025
Pre-Assignment Problem for Unique Minimum Vertex Cover on Bounded Clique-Width Graphs AAAI 2025
Dynamic angular synchronization under smoothness constraints JMLR 2025
Solving Multiagent Path Finding on Highly Centralized Networks AAAI 2025
3D Edge Sketch from Multiview Images WACV 2025
Online and Streaming Algorithms for Constrained k-Submodular Maximization AAAI 2025
A Conic Transformation Approach for Solving the Perspective-Three-Point Problem WACV 2025
ColabSfM: Collaborative Structure-from-Motion by Point Cloud Registration CVPR 2025
Efficient and Rigorous Model-Agnostic Explanations IJCAI 2025
CATBench: A Compiler Autotuning Benchmarking Suite for Black-box Optimization AUTOML 2025