Algorithms

Accelerating Matroid Optimization through Fast Imprecise Oracles NeurIPS 2024 Accelerating Relative Entropy Coding with Space Partitioning NeurIPS 2024 A Compiler for Weak Decomposable Negation Normal Form AAAI 2024 Active Statistical Inference ICML 2024 A Differentially Private Clustering Algorithm for Well-Clustered Graphs ICLR 2024 Adversarially Robust Dense-Sparse Tradeoffs via Heavy-Hitters NeurIPS 2024 A Dynamic Algorithm for Weighted Submodular Cover Problem ICML 2024 A fast algorithm to simulate nonlinear resistive networks ICML 2024 A Fixed-Parameter Tractable Algorithm for Counting Markov Equivalence Classes with the Same Skeleton AAAI 2024 An Adaptive Implicit Hitting Set Algorithm for MAP and MPE Inference PGM 2024 An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes AAAI 2024 An Efficient Query Optimization Framework Based on MCTS and LTR ACML 2024 An Exercise in Tournament Design: When Some Matches Must Be Scheduled AAAI 2024 A non-backtracking method for long matrix and tensor completion COLT 2024 Approval-Based Committee Voting in Practice: A Case Study of (over-)Representation in the Polkadot Blockchain AAAI 2024 Approximation Algorithms for Preference Aggregation Using CP-Nets AAAI 2024 A robust inlier identification algorithm for point cloud registration via ℓ_0-minimization NeurIPS 2024 A SAT + Computer Algebra System Verification of the Ramsey Problem R(3, 8) (Student Abstract) AAAI 2024 A SAT Solver and Computer Algebra Attack on the Minimum Kochen-Specker Problem (Student Abstract) AAAI 2024 A SAT Solver + Computer Algebra Attack on the Minimum Kochen–Specker Problem IJCAI 2024 A* shortest string decoding for non-idempotent semirings EACL 2024 A Structure-Aware Framework for Learning Device Placements on Computation Graphs NeurIPS 2024 A Survey on Rank Aggregation IJCAI 2024 A Tensor-Based Formalization of the Event Calculus IJCAI 2024 Audio Fingerprinting with Holographic Reduced Representations Interspeech 2024