Kengo Nakamura

31 papers A* 9B 9Journal 8Unranked 5
YearRankTypeTitle / Venue / Authors
2026 A* conf
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach.
AAAI
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
2026 J jnl
Variance Computation for Weighted Model Counting with Knowledge Compilation Approach.
CoRR
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
2025 A* conf
An And-Sum Circuit with Signed Edges That Is More Succinct than SDD.
AAAI
Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
2025 — conf
Efficient Network Reliability Evaluation with Guaranteed Error Bound Using Binary Decision Diagrams.
ICC
Kaito Okamura, Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda
2025 J jnl
Impact of Facility Factors on Robustness of Communication Networks under Natural Disasters.
IEEE Commun. Mag.
Takeru Inoue, Akira Ito, Kengo Nakamura, Tatsuya Matsukawa
2025 A* conf
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs.
AAAI
Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
2025 J jnl
Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs.
CoRR
Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
2024 B conf
Efficient and Exact Algorithm for All Pair-Wise Network Reliability and Its Applications to Enhance Unreliable Pairs.
GLOBECOM
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda
2024 B conf
Outage-Scale-Based Network Reliability Evaluation for Severe Reliability Requirements.
GLOBECOM
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda
2024 B conf
Single Family Algebra Operation on BDDs and ZDDs Leads to Exponential Blow-Up.
ISAAC
Kengo Nakamura, Masaaki Nishino, Shuhei Denzumi
2024 J jnl
Single Family Algebra Operation on ZDDs Leads To Exponential Blow-Up.
CoRR
Kengo Nakamura, Masaaki Nishino, Shuhei Denzumi
2024 A* conf
Understanding the Impact of Introducing Constraints at Inference Time on Generalization Error.
ICML
Masaaki Nishino, Kengo Nakamura, Norihito Yasuda
2023 A* conf
A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure.
INFOCOM
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
2023 B conf
CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints.
SEA
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
2023 — conf
Exact and Efficient Network Reliability Evaluation per Outage Scale.
ICC
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato
2022 B conf
Exact and Scalable Network Reliability Evaluation for Probabilistic Correlated Failures.
GLOBECOM
Ryoma Onaka, Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shinsaku Sakaue
2022 A* conf
Generalization Analysis on Learning with a Concurrent Verifier.
NeurIPS
Masaaki Nishino, Kengo Nakamura, Norihito Yasuda
2022 J jnl
Generalization Analysis on Learning with a Concurrent Verifier.
CoRR
Masaaki Nishino, Kengo Nakamura, Norihito Yasuda
2022 — conf
Impact of Link Availability Uncertainty on Network Reliability: Analyses with Variances.
ICC
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda
2021 A* conf
Compressing Exact Cover Problems with Zero-suppressed Binary Decision Diagrams.
IJCAI
Masaaki Nishino, Norihito Yasuda, Kengo Nakamura
2021 A* conf
Differentiable Equilibrium Computation with Decision Diagrams for Stackelberg Models of Combinatorial Congestion Games.
NeurIPS
Shinsaku Sakaue, Kengo Nakamura
2021 J jnl
Differentiable Equilibrium Computation with Decision Diagrams for Stackelberg Models of Combinatorial Congestion Games.
CoRR
Shinsaku Sakaue, Kengo Nakamura
2021 B conf
Efficient Network Reliability Evaluation for Client-Server Model.
GLOBECOM
Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda
2020 A* conf
Practical Frank-Wolfe Method with Decision Diagrams for Computing Wardrop Equilibrium of Combinatorial Congestion Games.
AAAI
Kengo Nakamura, Shinsaku Sakaue, Norihito Yasuda
2020 B conf
Variable Shift SDD: A More Succinct Sentential Decision Diagram.
SEA
Kengo Nakamura, Shuhei Denzumi, Masaaki Nishino
2020 J jnl
Variable Shift SDD: A More Succinct Sentential Decision Diagram.
CoRR
Kengo Nakamura, Shuhei Denzumi, Masaaki Nishino
2019 — conf
Approximated ZDD Construction Considering Inclusion Relations of Models.
SEA²
Kotaro Matsuda, Shuhei Denzumi, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda
2019 J jnl
Space-Efficient Fully Dynamic DFS in Undirected Graphs.
Algorithms
Kengo Nakamura, Kunihiko Sadakane
2019 — conf
Split or Merge: Which is Better for Unsupervised RST Parsing?
EMNLP/IJCNLP (1)
Naoki Kobayashi, Tsutomu Hirao, Kengo Nakamura, Hidetaka Kamigaito, Manabu Okumura, Masaaki Nagata
2017 B conf
A Space-Efficient Algorithm for the Dynamic DFS Problem in Undirected Graphs.
WALCOM
Kengo Nakamura, Kunihiko Sadakane
2017 B conf
Fully Dynamic Connectivity Oracles under General Vertex Updates.
ISAAC
Kengo Nakamura