Search

Search Results

• Finding Diverse Trees, Paths, and More

  Tesshu Hanaka, Yasuaki Kobayashi, Kazuhiro Kurita, Yota Otachi

  3778-3786

  2021-05-18

• Scalable Verification of Quantized Neural Networks

  Thomas A. Henzinger, Mathias Lechner, Đorđe Žikelić

  3787-3795

  2021-05-18

• Integrated Optimization of Bipartite Matching and Its Stochastic Behavior: New Formulation and Approximation Algorithm via Min-cost Flow Optimization

  Yuya Hikima, Yasunori Akagi, Hideaki Kim, Masahiro Kohjima, Takeshi Kurashima, Hiroyuki Toda

  3796-3805

  2021-05-18

• A Scalable Two Stage Approach to Computing Optimal Decision Sets

  Alexey Ignatiev, Edward Lam, Peter J. Stuckey, Joao Marques-Silva

  3806-3814

  2021-05-18

• Smooth Convex Optimization Using Sub-Zeroth-Order Oracles

  Mustafa O. Karabag, Cyrus Neary, Ufuk Topcu

  3815-3822

  2021-05-18

• Binary Matrix Factorisation via Column Generation

  Reka A. Kovacs, Oktay Gunluk, Raphael A. Hauser

  3823-3831

  2021-05-18

• Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings

  Petr Kučera, Petr Savický

  3832-3840

  2021-05-18

• On Continuous Local BDD-Based Search for Hybrid SAT Solving

  Anastasios Kyrillidis, Moshe Vardi, Zhiwei Zhang

  3841-3850

  2021-05-18

• The Power of Literal Equivalence in Model Counting

  Yong Lai, Kuldeep S. Meel, Roland H. C. Yap

  3851-3859

  2021-05-18

• Parallel Constraint Acquisition

  Nadjib Lazaar

  3860-3867

  2021-05-18

• Towards More Practical and Efficient Automatic Dominance Breaking

  Jimmy H.M. Lee, Allen Z. Zhong

  3868-3876

  2021-05-18

• Dependency Stochastic Boolean Satisfiability: A Logical Formalism for NEXPTIME Decision Problems with Uncertainty

  Nian-Ze Lee, Jie-Hong R. Jiang

  3877-3885

  2021-05-18

• Satisfiability and Algorithms for Non-uniform Random k-SAT

  Oleksii Omelchenko, Andrei Bulatov

  3886-3894

  2021-05-18

• Turbocharging Treewidth-Bounded Bayesian Network Structure Learning

  Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

  3895-3903

  2021-05-18

• SAT-based Decision Tree Learning for Large Data Sets

  Andre Schidler, Stefan Szeider

  3904-3912

  2021-05-18

• LCollision: Fast Generation of Collision-Free Human Poses using Learned Non-Penetration Constraints

  Qingyang Tan, Zherong Pan, Dinesh Manocha

  3913-3921

  2021-05-18

• Symmetric Component Caching for Model Counting on Combinatorial Instances

  Timothy van Bremen, Vincent Derkinderen, Shubham Sharma, Subhajit Roy, Kuldeep S. Meel

  3922-3930

  2021-05-18

• Parameterizing Branch-and-Bound Search Trees to Learn Branching Policies

  Giulia Zarpellon, Jason Jo, Andrea Lodi, Yoshua Bengio

  3931-3939

  2021-05-18

• Extreme k-Center Clustering

  MohammadHossein Bateni, Hossein Esfandiari, Manuela Fischer, Vahab Mirrokni

  3941-3949

  2021-05-18

• Beyond Low-frequency Information in Graph Convolutional Networks

  Deyu Bo, Xiao Wang, Chuan Shi, Huawei Shen

  3950-3957

  2021-05-18

• Graph Heterogeneous Multi-Relational Recommendation

  Chong Chen, Weizhi Ma, Min Zhang, Zhaowei Wang, Xiuqiang He, Chenyang Wang, Yiqun Liu, Shaoping Ma

  3958-3966

  2021-05-18

• Efficient Optimal Selection for Composited Advertising Creatives with Tree Structure

  Jin Chen, Tiezheng Ge, Gangwei Jiang, Zhiqiang Zhang, Defu Lian, Kai Zheng

  3967-3975

  2021-05-18

• Revisiting Consistent Hashing with Bounded Loads

  John Chen, Benjamin Coleman, Anshumali Shrivastava

  3976-3983

  2021-05-18

• A User-Adaptive Layer Selection Framework for Very Deep Sequential Recommender Models

  Lei Chen, Fajie Yuan, Jiaxi Yang, Xiang Ao, Chengming Li, Min Yang

  3984-3991

  2021-05-18

• Leveraging Table Content for Zero-shot Text-to-SQL with Meta-Learning

  Yongrui Chen, Xinnan Guo, Chaojie Wang, Jian Qiu, Guilin Qi, Meng Wang, Huiying Li

  3992-4000

  2021-05-18