LinSATNet: The Positive Linear Satisfiability Neural Networks

LinSATNet: The Positive Linear Satisfiability Neural Networks

18 July 2024

Tianyi Chen

Papers citing "LinSATNet: The Positive Linear Satisfiability Neural Networks"

7 / 7 papers shown

Title
Learning-Guided Rolling Horizon Optimization for Long-Horizon Flexible Job-Shop Scheduling Sirui Li Wenbin Ouyang Yining Ma Cathy Wu 45 0 0 18 Feb 2025
TL-PCA: Transfer Learning of Principal Component Analysis Sharon Hendy Yehuda Dar 155 1 0 14 Oct 2024
GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent Hongtai Zeng Chao Yang Yanzhen Zhou Cheng Yang Qinglai Guo 32 0 0 26 Sep 2024
Learning to Solve Combinatorial Optimization under Positive Linear Constraints via Non-Autoregressive Neural Networks Runzhong Wang Yang Li Junchi Yan Xiaokang Yang AI4CE 42 0 0 06 Sep 2024
Neural Combinatorial Optimization Algorithms for Solving Vehicle Routing Problems: A Comprehensive Survey with Perspectives Xuan Wu Di Wang Lijie Wen Yubin Xiao Chunguo Wu Yuesong Wu Chaoyu Yu D. Maskell You Zhou 68 4 0 01 Jun 2024
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline Y. Li Xinyan Chen Wenxuan Guo Xijun Li Wanqian Luo Jun Huang Hui-Ling Zhen M. Yuan Junchi Yan 27 17 0 04 Feb 2023
Revocable Deep Reinforcement Learning with Affinity Regularization for Outlier-Robust Graph Matching Chang-rui Liu Zetian Jiang Runzhong Wang Junchi Yan Lingxiao Huang P. Lu 24 9 0 16 Dec 2020