Search

Search Results

• SharpSSAT: A Witness-Generating Stochastic Boolean Satisfiability Solver

  Yu-Wei Fan, Jie-Hong R. Jiang

  3949-3958

  2023-06-26

• Submodular Maximization under the Intersection of Matroid and Knapsack Constraints

  Yu-Ran Gu, Chao Bian, Chao Qian

  3959-3967

  2023-06-26

• A Framework to Design Approximation Algorithms for Finding Diverse Solutions in Combinatorial Problems

  Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi

  3968-3976

  2023-06-26

• An Improved Approximation Algorithm for Wage Determination and Online Task Allocation in Crowd-Sourcing

  Yuya Hikima, Yasunori Akagi, Hideaki Kim, Taichi Asami

  3977-3986

  2023-06-26

• Predict+Optimize for Packing and Covering LPs with Unknown Parameters in Constraints

  Xinyi Hu, Jasper C.H. Lee, Jimmy H.M. Lee

  3987-3995

  2023-06-26

• Solving Explainability Queries with Quantification: The Case of Feature Relevancy

  Xuanxiang Huang, Yacine Izza, Joao Marques-Silva

  3996-4006

  2023-06-26

• Second-Order Quantified Boolean Logic

  Jie-Hong R. Jiang

  4007-4015

  2023-06-26

• Learning Markov Random Fields for Combinatorial Structures via Sampling through Lovász Local Lemma

  Nan Jiang, Yi Gu, Yexiang Xue

  4016-4024

  2023-06-26

• Fast Converging Anytime Model Counting

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

  4025-4034

  2023-06-26

• Finding Good Partial Assignments during Restart-Based Branch and Bound Search

  Hongbo Li, Jimmy H.M. Lee

  4035-4043

  2023-06-26

• Hybrid Learning with New Value Function for the Maximum Common Induced Subgraph Problem

  Yanli Liu, Jiming Zhao, Chu-Min Li, Hua Jiang, Kun He

  4044-4051

  2023-06-26

• Self-Supervised Primal-Dual Learning for Constrained Optimization

  Seonho Park, Pascal Van Hentenryck

  4052-4060

  2023-06-26

• Reinforcement Learning for Branch-and-Bound Optimisation Using Retrospective Trajectories

  Christopher W. F. Parsonson, Alexandre Laterre, Thomas D. Barrett

  4061-4069

  2023-06-26

• Constraint Optimization over Semirings

  A. Pavan, Kuldeep S. Meel, N. V. Vinodchandran, Arnab Bhattacharyya

  4070-4077

  2023-06-26

• Generalized Confidence Constraints

  Guillaume Perez, Steve Malalel, Gael Glorian, Victor Jung, Alexandre Papadopoulos, Marie Pelleau, Wijnand Suijlen, Jean-Charles Régin, Arnaud Lallouet

  4078-4086

  2023-06-26

• Circuit Minimization with QBF-Based Exact Synthesis

  Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider

  4087-4094

  2023-06-26

• Probabilistic Generalization of Backdoor Trees with Application to SAT

  Alexander Semenov, Daniil Chivilikhin, Stepan Kochemazov, Ibragim Dzhiblavi

  4095-4103

  2023-06-26

• The Expressive Power of Ad-Hoc Constraints for Modelling CSPs

  Ruiwei Wang, Roland H.C. Yap

  4104-4114

  2023-06-26

• Graphs, Constraints, and Search for the Abstraction and Reasoning Corpus

  Yudong Xu, Elias B. Khalil, Scott Sanner

  4115-4122

  2023-06-26

• Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations

  Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, Joao Marques-Silva

  4123-4131

  2023-06-26

• Farsighted Probabilistic Sampling: A General Strategy for Boosting Local Search MaxSAT Solvers

  Jiongzhi Zheng, Kun He, Jianrong Zhou

  4132-4139

  2023-06-26

• LANCER: A Lifetime-Aware News Recommender System

  Hong-Kyun Bae, Jeewon Ahn, Dongwon Lee, Sang-Wook Kim

  4141-4148

  2023-06-26

• Win-Win: A Privacy-Preserving Federated Framework for Dual-Target Cross-Domain Recommendation

  Gaode Chen, Xinghua Zhang, Yijun Su, Yantong Lai, Ji Xiang, Junbo Zhang, Yu Zheng

  4149-4156

  2023-06-26

• Enhanced Multi-Relationships Integration Graph Convolutional Network for Inferring Substitutable and Complementary Items

  Huajie Chen, Jiyuan He, Weisheng Xu, Tao Feng, Ming Liu, Tianyu Song, Runfeng Yao, Yuanyuan Qiao

  4157-4165

  2023-06-26

• PaTeCon: A Pattern-Based Temporal Constraint Mining Method for Conflict Detection on Knowledge Graphs

  Jianhao Chen, Junyang Ren, Wentao Ding, Yuzhong Qu

  4166-4172

  2023-06-26