Search

Search Results

• Resolving Inconsistencies in Simple Temporal Problems: A Parameterized Approach

  Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak, George Osipov

  3724-3732

  2022-06-28

• Efficient Riemannian Meta-Optimization by Implicit Differentiation

  Xiaomeng Fan, Yuwei Wu, Zhi Gao, Yunde Jia, Mehrtash Harandi

  3733-3740

  2022-06-28

• Faster Algorithms for Weak Backdoors

  Serge Gaspers, Andrew Kaploun

  3741-3748

  2022-06-28

• A Divide and Conquer Algorithm for Predict+Optimize with Non-convex Problems

  Ali Ugur Guler, Emir Demirović, Jeffrey Chan, James Bailey, Christopher Leckie, Peter J. Stuckey

  3749-3757

  2022-06-28

• Computing Diverse Shortest Paths Efficiently: A Theoretical and Experimental Study

  Tesshu Hanaka, Yasuaki Kobayashi, Kazuhiro Kurita, See Woo Lee, Yota Otachi

  3758-3766

  2022-06-28

• Optimizing Binary Decision Diagrams with MaxSAT for Classification

  Hao Hu, Marie-José Huguet, Mohamed Siala

  3767-3775

  2022-06-28

• Using MaxSAT for Efficient Explanations of Tree Ensembles

  Alexey Ignatiev, Yacine Izza, Peter J. Stuckey, Joao Marques-Silva

  3776-3785

  2022-06-28

• Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework

  Elias B. Khalil, Pashootan Vaezipoor, Bistra Dilkina

  3786-3795

  2022-06-28

• Learning to Search in Local Branching

  Defeng Liu, Matteo Fischetti, Andrea Lodi

  3796-3803

  2022-06-28

• Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution

  Oleksii Omelchenko, Andrei A. Bulatov

  3804-3812

  2022-06-28

• The SoftCumulative Constraint with Quadratic Penalty

  Yanick Ouellet, Claude-Guy Quimper

  3813-3820

  2022-06-28

• Efficient Vertex-Oriented Polytopic Projection for Web-Scale Applications

  Rohan Ramanath, S. Sathiya Keerthi, Yao Pan, Konstantin Salomatin, Kinjal Basu

  3821-3829

  2022-06-28

• A Variant of Concurrent Constraint Programming on GPU

  Pierre Talbot, Frédéric G Pinel, Pascal Bouvry

  3830-3839

  2022-06-28

• Real-Time Driver-Request Assignment in Ridesourcing

  Hao Wang, Xiaohui Bei

  3840-3849

  2022-06-28

• Encoding Multi-Valued Decision Diagram Constraints as Binary Constraint Trees

  Ruiwei Wang, Roland H.C. Yap

  3850-3858

  2022-06-28

• Sample Average Approximation for Stochastic Optimization with Dependent Data: Performance Guarantees and Tractability

  Yafei Wang, Bo Pan, Wei Tu, Peng Liu, Bei Jiang, Chao Gao, Wei Lu, Shangling Jui, Linglong Kong

  3859-3867

  2022-06-28

• A Provably-Efficient Model-Free Algorithm for Infinite-Horizon Average-Reward Constrained Markov Decision Processes

  Honghao Wei, Xin Liu, Lei Ying

  3868-3876

  2022-06-28

• TextHoaxer: Budgeted Hard-Label Adversarial Attacks on Text

  Muchao Ye, Chenglin Miao, Ting Wang, Fenglong Ma

  3877-3884

  2022-06-28

• Two Compacted Models for Efficient Model-Based Diagnosis

  Huisi Zhou, Dantong Ouyang, Xiangfu Zhao, Liming Zhang

  3885-3893

  2022-06-28

• Parameterized Approximation Algorithms for K-center Clustering and Variants

  Sayan Bandyapadhyay, Zachary Friggstad, Ramin Mousavi

  3895-3903

  2022-06-28

• How to Find a Good Explanation for Clustering?

  Sayan Bandyapadhyay, Fedor Fomin, Petr A Golovach, William Lochet, Nidhi Purohit, Kirill Simonov

  3904-3912

  2022-06-28

• Regularizing Graph Neural Networks via Consistency-Diversity Graph Augmentations

  Deyu Bo, Binbin Hu, Xiao Wang, Zhiqiang Zhang, Chuan Shi, Jun Zhou

  3913-3921

  2022-06-28

• Two-Stage Octave Residual Network for End-to-End Image Compression

  Fangdong Chen, Yumeng Xu, Li Wang

  3922-3929

  2022-06-28

• DANets: Deep Abstract Networks for Tabular Data Classification and Regression

  Jintai Chen, Kuanlun Liao, Yao Wan, Danny Z. Chen, Jian Wu

  3930-3938

  2022-06-28

• Fuzzy Logic Based Logical Query Answering on Knowledge Graphs

  Xuelu Chen, Ziniu Hu, Yizhou Sun

  3939-3948

  2022-06-28