Foundations

A Dynamic Algorithm for Weighted Submodular Cover Problem ICML 2024 A fast algorithm to simulate nonlinear resistive networks ICML 2024 A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem AAAI 2024 A Fixed-Parameter Tractable Algorithm for Counting Markov Equivalence Classes with the Same Skeleton AAAI 2024 A Graph-based Representation Framework for Trajectory Recovery via Spatiotemporal Interval-Informed Seq2Seq IJCAI 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 Angluin-Style Learning of Deterministic Büchi and Co-Büchi Automata IJCAI 2024 An L* Algorithm for Deterministic Weighted Regular Languages EMNLP 2024 A non-backtracking method for long matrix and tensor completion COLT 2024 Anvil: Verifying Liveness of Cluster Management Controllers OSDI 2024 Approval-Based Committee Voting in Practice: A Case Study of (over-)Representation in the Polkadot Blockchain AAAI 2024 Approximate Distance Oracle for Fault-Tolerant Geometric Spanners 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