Skip to content
conftrace_

variable prediction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

offline inference (1) graph neural network (1) sat solving (1) conflict-driven clause learning (1)

Papers

NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks ICLR 2024