Search

Search Results

• End-to-End Verification for Subgraph Solving

  Stephan Gocht, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Yong Kiam Tan

  8038-8047

  2024-03-24

• SAT-Based Techniques for Lexicographically Smallest Finite Models

  Mikoláš Janota, Choiwah Chow, João Araújo, Michael Codish, Petr Vojtěchovský

  8048-8056

  2024-03-24

• Theoretical and Empirical Analysis of Cost-Function Merging for Implicit Hitting Set WCSP Solving

  Javier Larrosa, Conrado Martínez, Emma Rollon

  8057-8064

  2024-03-24

• Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning

  Kevin Leo, Grame Gange, Maria Garcia de la Banda, Mark Wallace

  8065-8072

  2024-03-24

• Learning to Pivot as a Smart Expert

  Tianhao Liu, Shanwen Pu, Dongdong Ge, Yinyu Ye

  8073-8081

  2024-03-24

• Using Clustering to Strengthen Decision Diagram Bounds for Discrete Optimization

  Mohsen Nafar, Michael Römer

  8082-8089

  2024-03-24

• On Partial Optimal Transport: Revising the Infeasibility of Sinkhorn and Efficient Gradient Methods

  Anh Duc Nguyen, Tuan Dung Nguyen, Quang Minh Nguyen, Hoang H. Nguyen, Lam M. Nguyen, Kim-Chuan Toh

  8090-8098

  2024-03-24

• An Eager Satisfiability Modulo Theories Solver for Algebraic Datatypes

  Amar Shah, Federico Mora, Sanjit A. Seshia

  8099-8107

  2024-03-24

• An Approximate Skolem Function Counter

  Arijit Shaw, Brendan Juba, Kuldeep S. Meel

  8108-8116

  2024-03-24

• Optimizing ADMM and Over-Relaxed ADMM Parameters for Linear Quadratic Problems

  Jintao Song, Wenqi Lu, Yunwen Lei, Yuchao Tang, Zhenkuan Pan, Jinming Duan

  8117-8125

  2024-03-24

• Disjoint Partial Enumeration without Blocking Clauses

  Giuseppe Spallitta, Roberto Sebastiani, Armin Biere

  8126-8135

  2024-03-24

• SAT-Based Algorithms for Regular Graph Pattern Matching

  Miguel Terra-Neves, José Amaral, Alexandre Lemos, Rui Quintino, Pedro Resende, Antonio Alegria

  8136-8145

  2024-03-24

• CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems

  Kerian Thuillier, Anne Siegel, Loïc Paulevé

  8146-8153

  2024-03-24

• Learning to Learn in Interactive Constraint Acquisition

  Dimosthenis Tsouros, Senne Berden, Tias Guns

  8154-8162

  2024-03-24

• GSO-Net: Grid Surface Optimization via Learning Geometric Constraints

  Chaoyun Wang, Jingmin Xin, Nanning Zheng, Caigui Jiang

  8163-8171

  2024-03-24

• Encoding Constraints as Binary Constraint Networks Satisfying BTP

  Ruiwei Wang

  8172-8181

  2024-03-24

• What Are the Rules? Discovering Constraints from Data

  Boris Wiegand, Dietrich Klakow, Jilles Vreeken

  8182-8190

  2024-03-24

• SAT-Based Tree Decomposition with Iterative Cascading Policy Selection

  Hai Xia, Stefan Szeider

  8191-8199

  2024-03-24

• Engineering an Exact Pseudo-Boolean Model Counter

  Suwei Yang, Kuldeep S. Meel

  8200-8208

  2024-03-24

• A Reinforcement-Learning-Based Multiple-Column Selection Strategy for Column Generation

  Haofeng Yuan, Lichang Fang, Shiji Song

  8209-8216

  2024-03-24

• Large-Scale Non-convex Stochastic Constrained Distributionally Robust Optimization

  Qi Zhang, Yi Zhou, Ashley Prater-Bennette, Lixin Shen, Shaofeng Zou

  8217-8225

  2024-03-24

• Multimodal Graph Neural Architecture Search under Distribution Shifts

  Jie Cai, Xin Wang, Haoyang Li, Ziwei Zhang, Wenwu Zhu

  8227-8235

  2024-03-24

• Make Lossy Compression Meaningful for Low-Light Images

  Shilv Cai, Liqun Chen, Sheng Zhong, Luxin Yan, Jiahuan Zhou, Xu Zou

  8236-8245

  2024-03-24

• RR-PU: A Synergistic Two-Stage Positive and Unlabeled Learning Framework for Robust Tax Evasion Detection

  Shuzhi Cao, Jianfei Ruan, Bo Dong, Bin Shi, Qinghua Zheng

  8246-8254

  2024-03-24

• Hierarchical and Incremental Structural Entropy Minimization for Unsupervised Social Event Detection

  Yuwei Cao, Hao Peng, Zhengtao Yu, Philip S. Yu

  8255-8264

  2024-03-24