Skip to content
conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Insights
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Insights
Achievements
Home
›
Keywords
›
conjunctive decomposition
conjunctive decomposition
1 paper
Explore in graph
Co-occurring keywords
· papers mentioning both
boolean function representation
(1)
canonical representation
(1)
binary decision diagram
(1)
computational complexity
(1)
Papers
New Canonical Representations by Augmenting OBDDs with Conjunctive Decomposition (Extended Abstract)
IJCAI 2017
<
1
>