← Foundations
Computer Science › Foundations ›

Algorithms

1295 directly classified papers

Papers per year

Papers

3D Edge Sketch from Multiview Images WACV 2025
Decentralized, Epoch-based F2FS Journaling with Fine-grained Crash Recovery OSDI 2025
List Update with Prediction AAAI 2025
Leveraging Camera Triplets for Efficient and Accurate Structure-from-Motion CVPR 2024
Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming IJCAI 2024
Approximation Algorithms for Preference Aggregation Using CP-Nets AAAI 2024
Automatically Reasoning About How Systems Code Uses the CPU Cache OSDI 2024
Preferred Reasoning in ABA by Cycle-Breaking IJCAI 2024
Determining Winners in Elections with Absent Votes IJCAI 2024
Accelerating Matroid Optimization through Fast Imprecise Oracles NIPS 2024
Sampling Winners in Ranked Choice Voting IJCAI 2024
On the Outcome Equivalence of Extensive-Form and Behavioral Correlated Equilibria AAAI 2024
Solving Quantified Boolean Formulas with Few Existential Variables IJCAI 2024
SAT-Based Tree Decomposition with Iterative Cascading Policy Selection AAAI 2024
Binary Search with Distributional Predictions NIPS 2024
A Compiler for Weak Decomposable Negation Normal Form AAAI 2024
Rethinking the Soft Conflict Pseudo Boolean Constraint on MaxSAT Local Search Solvers IJCAI 2024
Parameterized Analysis of Bribery in Challenge the Champ Tournaments IJCAI 2024
Sequential Signal Mixing Aggregation for Message Passing Graph Neural Networks NIPS 2024
A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem IJCAI 2024
The Distortion of Threshold Approval Matching IJCAI 2024
Using Clustering to Strengthen Decision Diagram Bounds for Discrete Optimization AAAI 2024
Disjoint Partial Enumeration without Blocking Clauses AAAI 2024
SAT-Based Algorithms for Regular Graph Pattern Matching AAAI 2024
Scalable Landmark Hub Labeling for Optimal and Bounded Suboptimal Pathfinding IJCAI 2024