Search

Search Results

• Online Prompt Selection for Program Synthesis

  Yixuan Li, Lewis Frampton, Federico Mora, Elizabeth Polgreen

  11282-11289

  2025-04-11

• DiverSAT: A Novel and Effective Local Search Algorithm for Diverse SAT Problem

  Jiaxin Liang, Junping Zhou, Minghao Yin

  11290-11298

  2025-04-11

• Search Strategy Generation for Branch and Bound Using Genetic Programming

  Gwen Maudet, Grégoire Danoy

  11299-11308

  2025-04-11

• Certifying Bounds Propagation for Integer Multiplication Constraints

  Matthew J. McIlree, Ciaran McCreesh

  11309-11317

  2025-04-11

• Towards Real-Time Approximate Counting

  Yash Pote, Kuldeep S. Meel, Jiong Yang

  11318-11326

  2025-04-11

• The Impact of Literal Sorting on Cardinality Constraint Encodings

  Joseph E. Reeves, João Filipe, Min-Chien Hsu, Ruben Martins, Marijn J. H. Heule

  11327-11335

  2025-04-11

• Computationally Hard Problems Are Hard for QBF Proof Systems Too

  Agnes Schleitzer, Olaf Beyersdorff

  11336-11344

  2025-04-11

• Decomposed Quadratization: Efficient QUBO Formulation for Learning Bayesian Network

  Yuta Shikuri

  11345-11352

  2025-04-11

• Scalable Quantum-Inspired Optimization Through Dynamic Qubit Compression

  Co Tran, Quoc-Bao Tran, Hy Truong Son, Thang N Dinh

  11353-11361

  2025-04-11

• Generalizing Constraint Models in Constraint Acquisition

  Dimos Tsouros, Senne Berden, Steven Prestwich, Tias Guns

  11362-11371

  2025-04-11

• Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking

  Hiroshi Unno, Takeshi Tsukada, Jie-Hong Roland Jiang

  11372-11380

  2025-04-11

• On the Modelling of Constraints with Tractable Logical Operators

  Ruiwei Wang, Roland H. C. Yap

  11381-11389

  2025-04-11

• Prediction-Based Adaptive Variable Ordering Heuristics for Constraint Satisfaction Problems

  Jitao Xu, Yaling Wu, Hongbo Li, Minghao Yin

  11390-11398

  2025-04-11

• Towards Projected and Incremental Pseudo-Boolean Model Counting

  Suwei Yang, Kuldeep S. Meel

  11399-11407

  2025-04-11

• Motif-aware Graph Neural Networks for Networked Time Series Imputation

  Nourhan Ahmed, Vijaya Krishna Yalavarthi, Lars Schmidt-Thieme

  11409-11417

  2025-04-11

• Revisiting Multimodal Emotion Recognition in Conversation from the Perspective of Graph Spectrum

  Wei Ai, Fuchen Zhang, Yuntao Shou, Tao Meng, Haowen Chen, Keqin Li

  11418-11426

  2025-04-11

• GeoPro-Net: Learning Interpretable Spatiotemporal Prediction Models Through Statistically-Guided Geo-Prototyping

  Bang An, Xun Zhou, Zirui Zhou, Ronilo Ragodos, Zenglin Xu, Jun Luo

  11427-11435

  2025-04-11

• Alleviating Performance Disparity in Adversarial Spatiotemporal Graph Learning Under Zero-Inflated Distribution

  Songran Bai, Yuheng Ji, Yue Liu, Xingwei Zhang, Xiaolong Zheng, Daniel Dajun Zeng

  11436-11444

  2025-04-11

• CUGF: A Reliable and Fair Recommendation Framework

  Nitin Bisht, Xiuwen Gong, Guandong Xu

  11445-11453

  2025-04-11

• Cross-modal Multi-task Learning for Multimedia Event Extraction

  Jianwei Cao, Yanli Hu, Zhen Tan, Xiang Zhao

  11454-11462

  2025-04-11

• Spatiotemporal-aware Trend-Seasonality Decomposition Network for Traffic Flow Forecasting

  Lingxiao Cao, Bin Wang, Guiyuan Jiang, Yanwei Yu, Junyu Dong

  11463-11471

  2025-04-11

• Enhancing Long-and Short-Term Representations for Next POI Recommendations via Frequency and Hierarchical Contrastive Learning

  Jiajie Chen, Yu Sang, Peng-Fei Zhang, Jiaan Wang, Jianfeng Qu, Zhixu Li

  11472-11480

  2025-04-11

• LLM-DR: A Novel LLM-Aided Diffusion Model for Rule Generation on Temporal Knowledge Graphs

  Kai Chen, Xin Song, Ye Wang, Liqun Gao, Aiping Li, Xiaojuan Zhao, Bin Zhou, Yalong Xie

  11481-11489

  2025-04-11

• DHMoE: Diffusion Generated Hierarchical Multi-Granular Expertise for Stock Prediction

  Weijun Chen, Yanze Wang

  11490-11499

  2025-04-11

• Designing Specialized Two-Dimensional Graph Spectral Filters for Spatial-Temporal Graph Modeling

  Yuxin Chen, Fangru Lin, Jingyi Huo, Hui Yan

  11500-11508

  2025-04-11