← Foundations
Computer Science › Foundations ›

Algorithms

1295 directly classified papers

Papers per year

Papers

An Exact MaxSAT Algorithm: Further Observations and Further Improvements IJCAI 2022
On the Maximum Radius of Polynomial Lens Distortion WACV 2022
Computing Diverse Shortest Paths Efficiently: A Theoretical and Experimental Study AAAI 2022
DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022
Interactive Word Completion for Plains Cree ACL 2022
Disentangling the Computational Complexity of Network Untangling IJCAI 2022
Faster Algorithms for Weak Backdoors AAAI 2022
Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution AAAI 2022
Proof of Learning: Towards a Practical Blockchain Consensus Mechanism Using Directed Guiding Gradients (Student Abstract) AAAI 2022
QCDCL with Cube Learning or Pure Literal Elimination - What is Best? IJCAI 2022
Efficient and Scalable Graph Pattern Mining on GPUs OSDI 2022
Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability IJCAI 2022
Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract) AAAI 2022
Correlation-Based Algorithm for Team-Maxmin Equilibrium in Multiplayer Extensive-Form Games IJCAI 2022
Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach AAAI 2022
The SoftCumulative Constraint with Quadratic Penalty AAAI 2022
Secretary Matching with Vertex Arrivals and No Rejections AAAI 2022
Sketching as a Tool for Understanding and Accelerating Self-attention for Long Sequences NAACL 2022
Fast and Accurate End-to-End Span-based Semantic Role Labeling as Word-based Graph Parsing COLING 2022
New Coresets for Projective Clustering and Applications AISTATS 2022
How to scale hyperparameters for quickshift image segmentation AISTATS 2022
DEANN: Speeding up Kernel-Density Estimation using Approximate Nearest Neighbor Search AISTATS 2022
Online Page Migration with ML Advice AISTATS 2022
Reconfiguring Shortest Paths in Graphs AAAI 2022
Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping AAAI 2022