arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Kengo Nakamura"" — arXiv2 Search
Showing 1–6 of 6 results
/ Date
/ Name
Apr 15, 2026
Linear-Time Exact Computation of Influence Spread on Bounded-Pathwidth Graphs
Jan 7, 2026
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach
Feb 6, 2025
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs
Mar 8, 2024
Single Family Algebra Operation on BDDs and ZDDs Leads To Exponential Blow-Up
Oct 11, 2022
Generalization Analysis on Learning with a Concurrent Verifier
Apr 6, 2020
Variable Shift SDD: A More Succinct Sentential Decision Diagram