Algorithms

Tractable Explanations for d-DNNF Classifiers AAAI 2022 Triangle and Four Cycle Counting with Predictions in Graph Streams ICLR 2022 Trustworthy Monte Carlo NeurIPS 2022 Two Compacted Models for Efficient Model-Based Diagnosis AAAI 2022 Understanding Distance Measures Among Elections IJCAI 2022 Using MaxSAT for Efficient Explanations of Tree Ensembles AAAI 2022 Verification and search algorithms for causal DAGs NeurIPS 2022 A Bi-Level Framework for Learning to Solve Combinatorial Optimization on Graphs NeurIPS 2021 Additive Error Guarantees for Weighted Low Rank Approximation ICML 2021 A Decomposition Model for Stereo Matching CVPR 2021 A Faster Maximum Cardinality Matching Algorithm with Applications in Machine Learning NeurIPS 2021 A Fast Exact Algorithm for the Resource Constrained Shortest Path Problem AAAI 2021 An Automated Engineering Assistant: Learning Parsers for Technical Drawings AAAI 2021 Anytime Multi-Agent Path Finding via Large Neighborhood Search IJCAI 2021 Approximate Multiplication of Sparse Matrices with Limited Space AAAI 2021 A Root of a Problem: Optimizing Single-Root Dependency Parsing EMNLP 2021 A SAT-based Resolution of Lam's Problem AAAI 2021 Automatic Optimal Multi-Agent Path Finding Algorithm Selector (Student Abstract) AAAI 2021 Average-Case Communication Complexity of Statistical Problems COLT 2021 Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings AAAI 2021 Bounded Memory Active Learning through Enriched Queries COLT 2021 Breaking The Dimension Dependence in Sparse Distribution Estimation under Communication Constraints COLT 2021 Bringing UMAP Closer to the Speed of Light with GPU Acceleration AAAI 2021 Cardinality constrained submodular maximization for random streams NeurIPS 2021 Certifying Parity Reasoning Efficiently Using Pseudo-Boolean Proofs AAAI 2021