Algorithms

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 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 Convex Optimization Requires Superlinear Memory COLT 2022 Efficient Encoding of Cost Optimal Delete-Free Planning as SAT AAAI 2022 Efficient Multi-Agent Communication via Shapley Message Value IJCAI 2022 Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees AAAI 2022 Encoding Probabilistic Graphical Models into Stochastic Boolean Satisfiability IJCAI 2022 Enumerating Nontrivial Knot Mosaics with SAT (Student Abstract) AAAI 2022 Estimation of Entropy in Constant Space with Improved Sample Complexity NeurIPS 2022 Exact Community Recovery over Signed Graphs AISTATS 2022 Exact Paired-Permutation Testing for Structured Test Statistics NAACL 2022 Explaining Preferences by Multiple Patterns in Voters’ Behavior IJCAI 2022 Extended Goal Recognition Design with First-Order Computation Tree Logic AAAI 2022