Algorithms

Eiffel: Efficient and Flexible Software Packet Scheduling NSDI 2019 Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming AAAI 2019 Enriching Non-Parametric Bidirectional Search Algorithms AAAI 2019 Evolving Solutions to Community-Structured Satisfiability Formulas AAAI 2019 Exact Sampling of Directed Acyclic Graphs from Modular Distributions UAI 2019 Explore-Exploit Graph Traversal for Image Retrieval CVPR 2019 Faster width-dependent algorithm for mixed packing and covering LPs NeurIPS 2019 Fast Relational Probabilistic Inference and Learning: Approximate Counting via Hypergraphs AAAI 2019 FilterReg: Robust and Efficient Probabilistic Point-Set Registration Using Gaussian Filter and Twist Parameterization CVPR 2019 Finding Minimal d-separators in Linear Time and Applications UAI 2019 G2SAT: Learning to Generate SAT Formulas NeurIPS 2019 Generalized Distance Bribery AAAI 2019 Group Decision Diagram (GDD): A Compact Representation for Permutations AAAI 2019 Hubless Nearest Neighbor Search for Bilingual Lexicon Induction ACL 2019 Hyperscan: A Fast Multi-pattern Regex Matcher for Modern CPUs NSDI 2019 Identifying Bottlenecks in Practical SAT-Based Model Finding for First-Order Logic Ontologies with Datasets AAAI 2019 IMSurReal: IMS at the Surface Realization Shared Task 2019 EMNLP 2019 K-Nearest Neighbors Hashing CVPR 2019 Learnability of Solutions to Conjunctive Queries JMLR 2019 Learning-Based Frequency Estimation Algorithms ICLR 2019 Learning How to Ground a Plan – Partial Grounding in Classical Planning AAAI 2019 Learning Swarm Behaviors using Grammatical Evolution and Behavior Trees IJCAI 2019 Learning to Sample Hard Instances for Graph Algorithms ACML 2019 Lifting Vectorial Variational Problems: A Natural Formulation Based on Geometric Measure Theory and Discrete Exterior Calculus CVPR 2019 Machine Learning Based Heuristic Search Algorithms to Solve Birds of a Feather Card Game AAAI 2019