arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Norihito Yasuda"" — arXiv2 Search
Showing 1–6 of 6 results
/ Date
/ Name
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
Nov 5, 2023
Optimal Construction of N-bit-delay Almost Instantaneous Fixed-to-Variable-Length Codes
Sep 14, 2023
International Competition on Graph Counting Algorithms 2023
Oct 11, 2022
Generalization Analysis on Learning with a Concurrent Verifier
Oct 7, 2021
Solving Rep-tile by Computers: Performance of Solvers and Analyses of Solutions