Using deep learning to construct stochastic local search SAT solvers with performance bounds

20 September 2023

Papers citing "Using deep learning to construct stochastic local search SAT solvers with performance bounds"

2 / 2 papers shown

Title
Solving Mixed Integer Programs Using Neural Networks Vinod Nair Sergey Bartunov Felix Gimeno Ingrid von Glehn Pawel Lichocki ... Pushmeet Kohli Ira Ktena Yujia Li Oriol Vinyals Yori Zwols 121 244 0 23 Dec 2020
Interaction Networks for Learning about Objects, Relations and Physics Peter W. Battaglia Razvan Pascanu Matthew Lai Danilo Jimenez Rezende Koray Kavukcuoglu AI4CE OCL PINN GNN 280 1,401 0 01 Dec 2016