Foundations

Efficient Object Search in Game Maps IJCAI 2023 Efficient Semiring-Weighted Earley Parsing ACL 2023 Electrophysiological Brain Source Imaging via Combinatorial Search with Provable Optimality AAAI 2023 Eliminating the Computation of Strongly Connected Components in Generalized Arc Consistency Algorithm for AllDifferent Constraint IJCAI 2023 ESSEN: Improving Evolution State Estimation for Temporal Networks using Von Neumann Entropy NeurIPS 2023 Exact recovery and Bregman hard clustering of node-attributed Stochastic Block Model NeurIPS 2023 Fair Division of a Graph into Compact Bundles IJCAI 2023 Fair Division with Two-Sided Preferences IJCAI 2023 Fair Short Paths in Vertex-Colored Graphs AAAI 2023 Fantastic Weights and How to Find Them: Where to Prune in Dynamic Sparse Training NeurIPS 2023 Fast (1+ε)-Approximation Algorithms for Binary Matrix Factorization ICML 2023 Fast Algorithms for a New Relaxation of Optimal Transport COLT 2023 FastGR: Global Routing on CPU-GPU with Heterogeneous Task Graph Scheduler (Extended Abstract) IJCAI 2023 Fast Partitioned Learned Bloom Filter NeurIPS 2023 Finding Geometric Models by Clustering in the Consensus Space CVPR 2023 Finding Good Partial Assignments during Restart-Based Branch and Bound Search AAAI 2023 Finite Entailment of UCRPQs over ALC Ontologies (Extended Abstract) IJCAI 2023 Flaws of Termination and Optimality in ADOPT-based Algorithms IJCAI 2023 Following the Data, Not the Function: Rethinking Function Orchestration in Serverless Computing NSDI 2023 Fractual Projection Forest: Fast and Explainable Point Cloud Classifier WACV 2023 From Width-Based Model Checking to Width-Based Automated Theorem Proving AAAI 2023 Fully Computer-Assisted Proofs in Extremal Combinatorics AAAI 2023 Fully Dynamic Submodular Maximization over Matroids ICML 2023 Generalizing Downsampling from Regular Data to Graphs AAAI 2023 Geometric Barriers for Stable and Online Algorithms for Discrepancy Minimization COLT 2023