Algorithms

On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits IJCAI 2022 On the Complexity of Inductively Learning Guarded Clauses AAAI 2022 On the Computation of Necessary and Sufficient Explanations AAAI 2022 On the Maximum Radius of Polynomial Lens Distortion WACV 2022 On The Memory Complexity of Uniformity Testing COLT 2022 (Optimal) Online Bipartite Matching with Degree Information NeurIPS 2022 Pizza Sharing Is PPA-Hard AAAI 2022 Practical Almost-Linear-Time Approximation Algorithms for Hybrid and Overlapping Graph Clustering ICML 2022 Private Matrix Approximation and Geometry of Unitary Orbits COLT 2022 Problem Compilation for Multi-Agent Path Finding: a Survey IJCAI 2022 Product Ranking for Revenue Maximization with Multiple Purchases NeurIPS 2022 Proof of Learning: Towards a Practical Blockchain Consensus Mechanism Using Directed Guiding Gradients (Student Abstract) AAAI 2022 Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination AAAI 2022 QCDCL with Cube Learning or Pure Literal Elimination - What is Best? IJCAI 2022 Quantum Algorithms for Sampling Log-Concave Distributions and Estimating Normalizing Constants NeurIPS 2022 Query Processing and Optimization for a Custom Retrieval Language COLING 2022 Reconfiguring Shortest Paths in Graphs AAAI 2022 Recursive Reinforcement Learning NeurIPS 2022 Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach AAAI 2022 Robustification of Online Graph Exploration Methods AAAI 2022 Sample Efficient Grasp Learning Using Equivariant Models RSS 2022 Scaling Neural Program Synthesis with Distribution-Based Search AAAI 2022 Searching for BurgerFormer with Micro-Meso-Macro Space Design ICML 2022 Secretary Matching with Vertex Arrivals and No Rejections AAAI 2022 Self-Explaining Deviations for Coordination NeurIPS 2022