Foundations

Global Greedy Dependency Parsing AAAI 2020 Graph-based Nearest Neighbor Search: From Practice to Theory ICML 2020 Graph Structure of Neural Networks ICML 2020 G-TAD: Sub-Graph Localization for Temporal Action Detection CVPR 2020 Guiding CDCL SAT Search via Random Exploration amid Conflict Depression AAAI 2020 Hard Examples for Common Variable Decision Heuristics AAAI 2020 HDDL: An Extension to PDDL for Expressing Hierarchical Planning Problems AAAI 2020 Hiding in Multilayer Networks AAAI 2020 Hitting the High Notes: Subset Selection for Maximizing Expected Order Statistics NeurIPS 2020 Impossibility Results for Grammar-Compressed Linear Algebra NeurIPS 2020 Improved Filtering for the Euclidean Traveling Salesperson Problem in CLP(FD) AAAI 2020 Incorporating External Knowledge through Pre-training for Natural Language to Code Generation ACL 2020 Incremental Sampling Without Replacement for Sequence Models ICML 2020 Incremental Symmetry Breaking Constraints for Graph Search Problems AAAI 2020 Individual-Based Stability in Hedonic Diversity Games AAAI 2020 Instead of Rewriting Foreign Code for Machine Learning, Automatically Synthesize Fast Gradients NeurIPS 2020 Inverse Rectification for Efficient Procam Pattern Correspondence WACV 2020 Iterative-Deepening Conflict-Based Search IJCAI 2020 Justifying All Differences Using Pseudo-Boolean Reasoning AAAI 2020 Keeping Your Friends Close: Land Allocation with Friends IJCAI 2020 Learning-Augmented Data Stream Algorithms ICLR 2020 Learning Combinatorial Solver for Graph Matching CVPR 2020 Learning Context-free Languages with Nondeterministic Stack RNNs CoNLL 2020 Learning decomposable models by coarsening PGM 2020 Learning Dynamic Context Graph Embedding ACML 2020