torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem

6 February 2024

Papers citing "torchmSAT: A GPU-Accelerated Approximation To The Maximum Satisfiability Problem"

2 / 2 papers shown

Title
Neural Approaches to SAT Solving: Design Choices and Interpretability David Mojžíšek Jan Hůla Ziwei Li Ziyu Zhou Mikoláš Janota AAML NAI 33 0 0 01 Apr 2025
Neural Combinatorial Optimization with Reinforcement Learning Irwan Bello Hieu H. Pham Quoc V. Le Mohammad Norouzi Samy Bengio 71 1,452 0 29 Nov 2016