Learning Branching Heuristics for Propositional Model Counting

7 July 2020

Pashootan Vaezipoor

Papers citing "Learning Branching Heuristics for Propositional Model Counting"

3 / 3 papers shown

Title
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems Zhaoyu Li X. Si BDL NAI 17 10 0 07 Nov 2022
Combinatorial optimization and reasoning with graph neural networks Quentin Cappart Didier Chételat Elias Boutros Khalil Andrea Lodi Christopher Morris Petar Velickovic AI4CE 34 348 0 18 Feb 2021
LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning Yuhuai Wu M. Rabe Wenda Li Jimmy Ba Roger C. Grosse Christian Szegedy AIMat LRM 75 52 0 15 Jan 2021