Foundations

An Improved Hierarchical Datastructure for Nearest Neighbor Search AAAI 2019 Anytime Recursive Best-First Search for Bounding Marginal MAP AAAI 2019 A Polynomial-time Solution for Robust Registration with Extreme Outlier Rates RSS 2019 Approximation and Hardness of Shift-Bribery AAAI 2019 A PSPACE Subclass of Dependency Quantified Boolean Formulas and Its Effective Solving AAAI 2019 A Recursive Algorithm for Projected Model Counting AAAI 2019 Argumentation for Explainable Scheduling AAAI 2019 A Robust and Efficient Algorithm for the PnL Problem Using Algebraic Distance to Approximate the Reprojection Distance AAAI 2019 A SAT+CAS Approach to Finding Good Matrices: New Examples and Counterexamples AAAI 2019 A Survey on Hierarchical Planning – One Abstract Idea, Many Concrete Realizations IJCAI 2019 A Tree-Based Method for Fast Repeated Sampling of Determinantal Point Processes ICML 2019 A Two-Individual Based Evolutionary Algorithm for the Flexible Job Shop Scheduling Problem AAAI 2019 Automatic Construction of Parallel Portfolios via Explicit Instance Grouping AAAI 2019 Bi-Kronecker Functional Decision Diagrams: A Novel Canonical Representation of Boolean Functions AAAI 2019 BIRD: Engineering an Efficient CNF-XOR SAT Solver and Its Applications to Approximate Model Counting AAAI 2019 Branch-and-Cut-and-Price for Multi-Agent Pathfinding IJCAI 2019 Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning AAAI 2019 Canonical Soft Time Warping ACML 2019 Clairvoyant Restarts in Branch-and-Bound Search Using Online Tree-Size Estimation AAAI 2019 Clause Learning and New Bounds for Graph Coloring IJCAI 2019 Combinatorial Algorithms for Optimal Design COLT 2019 Community Focusing: Yet Another Query-Dependent Community Detection AAAI 2019 Complexity of Inconsistency-Tolerant Query Answering in Datalog+/– under Cardinality-Based Repairs AAAI 2019 Computational Intractability and Solvability for the Birds of a Feather Game AAAI 2019 Constraint-based Learning of Phonological Processes EMNLP 2019