Algorithms

Interactive Word Completion for Plains Cree ACL 2022 Inverting 43-step MD4 via Cube-and-Conquer IJCAI 2022 Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving COLING 2022 Large Neighbourhood Search for Anytime MaxSAT Solving IJCAI 2022 Large-Neighbourhood Search for Optimisation in Answer-Set Solving AAAI 2022 Learning-Augmented k-means Clustering ICLR 2022 Learning-Augmented Algorithms for Online Steiner Tree AAAI 2022 Learning Augmented Binary Search Trees ICML 2022 Learning Efficient Online 3D Bin Packing on Packing Configuration Trees ICLR 2022 Learning from a Sample in Online Algorithms NeurIPS 2022 Learning To Solve Hard Minimal Problems CVPR 2022 LTLf Synthesis as AND-OR Graph Search: Knowledge Compilation at Work IJCAI 2022 MaxMatch-Dropout: Subword Regularization for WordPiece COLING 2022 Maxmin Participatory Budgeting IJCAI 2022 Monotone Abstractions in Ontology-Based Data Management AAAI 2022 New Coresets for Projective Clustering and Applications AISTATS 2022 New Results in Bounded-Suboptimal Search AAAI 2022 Non-Gaussian Component Analysis via Lattice Basis Reduction COLT 2022 Occupancy-SLAM: Simultaneously Optimizing Robot Poses and Continuous Occupancy Map RSS 2022 On a Connection Between Fast and Sparse Oblivious Subspace Embeddings AISTATS 2022 Online Algorithms for the Santa Claus Problem NeurIPS 2022 Online Facility Location with Predictions ICLR 2022 Online Page Migration with ML Advice AISTATS 2022 On Scalable Testing of Samplers NeurIPS 2022 On the Complexity of Calculating Approval-Based Winners in Candidates-Embedded Metrics IJCAI 2022