Foundations

Tight Approximation for Proportional Approval Voting IJCAI 2020 Tiramisu: Fast Multilayer Network Verification NSDI 2020 TouIST: a Friendly Language for Propositional Logic and More IJCAI 2020 Towards Fine-Grained Temporal Network Representation via Time-Reinforced Random Walk AAAI 2020 Towards Universal Languages for Tractable Ontology Mediated Query Answering AAAI 2020 Training Linear Finite-State Machines NeurIPS 2020 Tree-projected gradient descent for estimating gradient-sparse parameters on graphs COLT 2020 Two-goal Local Search and Inference Rules for Minimum Dominating Set IJCAI 2020 Understanding and Improving Proximity Graph Based Maximum Inner Product Search AAAI 2020 Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem IJCAI 2020 Unsupervised Translation of Programming Languages NeurIPS 2020 Variable Elimination in Binary CSPs (Extended Abstract) IJCAI 2020 VMscatter: A Versatile MIMO Backscatter NSDI 2020 Warping Residual Based Image Stitching for Large Parallax CVPR 2020 Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces AAAI 2020 WOR and p's: Sketches for ℓ_p-Sampling Without Replacement NeurIPS 2020 Zero-Assignment Constraint for Graph Matching With Outliers CVPR 2020 3D Shape Reconstruction From Images in the Frequency Domain CVPR 2019 A Better Algorithm for Societal Tradeoffs AAAI 2019 Action-Sensitive Phonological Dependencies ACL 2019 Adaptive Estimation for Approximate k-Nearest-Neighbor Computations AISTATS 2019 Adaptive Hashing for Model Counting UAI 2019 A Genetic Algorithm for Finding a Small and Diverse Set of Recent News Stories on a Given Subject: How We Generate AAAI’s AI-Alert AAAI 2019 A Grammar-Based Structural CNN Decoder for Code Generation AAAI 2019 Analysis of Feature Visibility in Non-Line-Of-Sight Measurements CVPR 2019