UNSAT Solver Synthesis via Monte Carlo Forest Search

22 November 2022

Papers citing "UNSAT Solver Synthesis via Monte Carlo Forest Search"

4 / 4 papers shown

Title
A Reinforcement Learning based Reset Policy for CDCL SAT Solvers Chunxiao Li Charlie Liu Jonathan Chung Zhengyang Lu Piyush Jha Vijay Ganesh CLL 21 0 0 04 Apr 2024
Learning to branch with Tree MDPs Lara Scavuzzo F. Chen Didier Chételat Maxime Gasse Andrea Lodi Neil Yorke-Smith K. Aardal AI4CE 35 51 0 23 May 2022
Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework Elias Boutros Khalil Pashootan Vaezipoor B. Dilkina 39 18 0 16 Oct 2021
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 107 238 0 23 Dec 2020