← Foundations
Computer Science › Foundations ›

Algorithms

1295 directly classified papers

Papers per year

Papers

The Bullets Puzzle: A Paper-and-Pencil Minesweeper AAAI 2022
MaxMatch-Dropout: Subword Regularization for WordPiece COLING 2022
Online Algorithms for the Santa Claus Problem NIPS 2022
Inverting 43-step MD4 via Cube-and-Conquer IJCAI 2022
Self-Explaining Deviations for Coordination NIPS 2022
Quantum Algorithms for Sampling Log-Concave Distributions and Estimating Normalizing Constants NIPS 2022
Best Heuristic Identification for Constraint Satisfaction IJCAI 2022
On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits IJCAI 2022
Fair Rank Aggregation NIPS 2022
New Results in Bounded-Suboptimal Search AAAI 2022
Monotone Abstractions in Ontology-Based Data Management AAAI 2022
Maxmin Participatory Budgeting IJCAI 2022
Large-Neighbourhood Search for Optimisation in Answer-Set Solving AAAI 2022
SGTR: End-to-End Scene Graph Generation With Transformer CVPR 2022
An Exact MaxSAT Algorithm: Further Observations and Further Improvements IJCAI 2022
The Devil Is in the Pose: Ambiguity-Free 3D Rotation-Invariant Learning via Pose-Aware Convolution CVPR 2022
Team Correlated Equilibria in Zero-Sum Extensive-Form Games via Tree Decompositions AAAI 2022
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
ASP-Based Declarative Process Mining AAAI 2022
Learning-Augmented Algorithms for Online Steiner Tree AAAI 2022
Adapting k-means Algorithms for Outliers ICML 2022
Correlation-Based Algorithm for Team-Maxmin Equilibrium in Multiplayer Extensive-Form Games IJCAI 2022
TAG: Learning Timed Automata from Logs AAAI 2022
Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution AAAI 2022
Large Neighbourhood Search for Anytime MaxSAT Solving IJCAI 2022