Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1909.06673
Cited By
v1
v2
v3 (latest)
Propagation complete encodings of smooth DNNF theories
14 September 2019
P. Kucera
P. Savický
AI4CE
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Propagation complete encodings of smooth DNNF theories"
2 / 2 papers shown
Title
A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints
Alexis de Colnet
AI4CE
20
1
0
06 Jan 2021
Bounds on the size of PC and URC formulas
P. Kucera
P. Savický
19
3
0
03 Jan 2020
1
