Foundations

Compilation of Aggregates in ASP Systems AAAI 2022 Computational-Statistical Gap in Reinforcement Learning COLT 2022 Computing Diverse Shortest Paths Efficiently: A Theoretical and Experimental Study AAAI 2022 Conflict-Based Steiner Search for Multi-Agent Combinatorial Path Finding RSS 2022 Correlation-Based Algorithm for Team-Maxmin Equilibrium in Multiplayer Extensive-Form Games IJCAI 2022 Correlation Clustering via Strong Triadic Closure Labeling: Fast Approximation Algorithms and Practical Lower Bounds ICML 2022 DEANN: Speeding up Kernel-Density Estimation using Approximate Nearest Neighbor Search AISTATS 2022 Deciding Unsolvability in Temporal Planning under Action Non-Self-Overlapping AAAI 2022 Deep Cooperation of CDCL and Local Search for SAT (Extended Abstract) IJCAI 2022 Deletion Robust Submodular Maximization over Matroids ICML 2022 Differentially Describing Groups of Graphs AAAI 2022 Differentially Private Approximate Quantiles ICML 2022 Differentially Private Fractional Frequency Moments Estimation with Polylogarithmic Space ICLR 2022 Discrete-Convex-Analysis-Based Framework for Warm-Starting Algorithms with Predictions NeurIPS 2022 Disentangling the Computational Complexity of Network Untangling IJCAI 2022 Distribution Compression in Near-Linear Time ICLR 2022 Domain-Lifted Sampling for Universal Two-Variable Logic and Extensions AAAI 2022 DuoAI: Fast, Automated Inference of Inductive Invariants for Verifying Distributed Protocols OSDI 2022 Dynamic Tensor Product Regression NeurIPS 2022 Efficient and Scalable Graph Pattern Mining on GPUs OSDI 2022 Efficient Architecture Search for Diverse Tasks NeurIPS 2022 Efficient Attribute (α,β)-Core Detection in Large Bipartite Graphs (Student Abstract) AAAI 2022 Efficient Constituency Tree based Encoding for Natural Language to Bash Translation NAACL 2022 Efficient Convex Optimization Requires Superlinear Memory COLT 2022 Efficient Encoding of Cost Optimal Delete-Free Planning as SAT AAAI 2022