Skip to content
conftrace_

splitting heuristic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

actor-critic model (1) graph neural network (1) sat solving (1) proximal policy optimization (1) reinforcement learning (1)

Papers

Learning Splitting Heuristics in Divide-and-Conquer SAT Solvers with Reinforcement Learning ICLR 2025