Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2007.03204
Cited By
Learning Branching Heuristics for Propositional Model Counting
7 July 2020
Pashootan Vaezipoor
Gil Lederman
Yuhuai Wu
Chris J. Maddison
Roger C. Grosse
S. Seshia
F. Bacchus
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Learning Branching Heuristics for Propositional Model Counting"
2 / 2 papers shown
Title
NSNet: A General Neural Probabilistic Framework for Satisfiability Problems
Zhaoyu Li
X. Si
BDL
NAI
14
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
32
347
0
18 Feb 2021
1
