Nishino, Masaaki

11 publications

AAAI 2025 An And-Sum Circuit with Signed Edges That Is More Succinct than SDD Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda

AAAI 2025 Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda

ICML 2024 Understanding the Impact of Introducing Constraints at Inference Time on Generalization Error Masaaki Nishino, Kengo Nakamura, Norihito Yasuda

NeurIPS 2022 Generalization Analysis on Learning with a Concurrent Verifier Masaaki Nishino, Kengo Nakamura, Norihito Yasuda

IJCAI 2021 Compressing Exact Cover Problems with Zero-Suppressed Binary Decision Diagrams Masaaki Nishino, Norihito Yasuda, Kengo Nakamura

AAAI 2021 Differentiable Inductive Logic Programming for Structured Examples Hikaru Shindo, Masaaki Nishino, Akihiro Yamamoto

AAAI 2018 Submodular Function Maximization over Graphs via Zero-Suppressed Binary Decision Diagrams Shinsaku Sakaue, Masaaki Nishino, Norihito Yasuda

AAAI 2017 Compiling Graph Substructures into Sentential Decision Diagrams Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata

AAAI 2017 Dancing with Decision Diagrams: A Combined Approach to Exact Cover Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata

AAAI 2016 Zero-Suppressed Sentential Decision Diagrams Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata

AAAI 2015 BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata