| 2026 | AAAI | Variance Computation for Weighted Model Counting with Knowledge Compilation Approach. | Kengo Nakamura, Masaaki Nishino, Norihito Yasuda |
| 2026 | ISIT | Speeding up Parse-Forest Construction Based on Conditional Concavity. | Ryosuke Sugiura, Ryoma Onaka, Masaaki Nishino, Norihito Yasuda |
| 2026 | KR | Constraint-Based Analysis of Reasoning Shortcuts in Neurosymbolic Learning. | Akihiro Takemura, Katsumi Inoue, Masaaki Nishino |
| 2025 | AAAI | An And-Sum Circuit with Signed Edges That Is More Succinct than SDD. | Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda |
| 2025 | AAAI | Tensor Decomposition Meets Knowledge Compilation: A Study Comparing Tensor Trains with OBDDs. | Ryoma Onaka, Kengo Nakamura, Masaaki Nishino, Norihito Yasuda |
| 2025 | ISIT | Parse Forests with Huffman-Tree-Based Modes for One-Symbol-Delay Encodable VF Codes. | Ryosuke Sugiura, Masaaki Nishino, Norihito Yasuda |
| 2024 | GLOBECOM | Efficient and Exact Algorithm for All Pair-Wise Network Reliability and Its Applications to Enhance Unreliable Pairs. | Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda |
| 2024 | GLOBECOM | Outage-Scale-Based Network Reliability Evaluation for Severe Reliability Requirements. | Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda |
| 2024 | ICML | Understanding the Impact of Introducing Constraints at Inference Time on Generalization Error. | Masaaki Nishino, Kengo Nakamura, Norihito Yasuda |
| 2024 | ISAAC | Single Family Algebra Operation on BDDs and ZDDs Leads to Exponential Blow-Up. | Kengo Nakamura, Masaaki Nishino, Shuhei Denzumi |
| 2023 | INFOCOM | A Fast and Exact Evaluation Algorithm for the Expected Number of Connected Nodes: an Enhanced Network Reliability Measure. | Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato |
| 2022 | GLOBECOM | Exact and Scalable Network Reliability Evaluation for Probabilistic Correlated Failures. | Ryoma Onaka, Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda, Shinsaku Sakaue |
| 2022 | IJCNLP | Robustness Evaluation of Text Classification Models Using Mathematical Optimization and Its Application to Adversarial Training. | Hikaru Tomonari, Masaaki Nishino, Akihiro Yamamoto |
| 2021 | AAAI | Differentiable Inductive Logic Programming for Structured Examples. | Hikaru Shindo, Masaaki Nishino, Akihiro Yamamoto |
| 2021 | GLOBECOM | Efficient Network Reliability Evaluation for Client-Server Model. | Kengo Nakamura, Takeru Inoue, Masaaki Nishino, Norihito Yasuda |
| 2021 | IJCAI | Compressing Exact Cover Problems with Zero-suppressed Binary Decision Diagrams. | Masaaki Nishino, Norihito Yasuda, Kengo Nakamura |
| 2020 | COLING | SpanAlign: Sentence Alignment Method based on Cross-Language Span Prediction and ILP. | Katsuki Chousa, Masaaki Nagata, Masaaki Nishino |
| 2020 | ECAI | Metric Learning for Ordered Labeled Trees with pq-grams. | Hikaru Shindo, Masaaki Nishino, Yasuaki Kobayashi, Akihiro Yamamoto |
| 2020 | EMNLP | A Supervised Word Alignment Method based on Cross-Language Span Prediction using Multilingual BERT. | Masaaki Nagata, Katsuki Chousa, Masaaki Nishino |
| 2020 | NOMS | Recovery command generation towards automatic recovery in ICT systems by Seq2Seq learning. | Hiroki Ikeuchi, Akio Watanabe, Tsutomu Hirao, Makoto Morishita, Masaaki Nishino, Yoichi Matsuo, Keishiro Watanabe |
| 2019 | EMNLP | Generating Natural Anagrams: Towards Language Generation Under Hard Combinatorial Constraints. | Masaaki Nishino, Sho Takase, Tsutomu Hirao, Masaaki Nagata |
| 2018 | AAAI | Submodular Function Maximization Over Graphs via Zero-Suppressed Binary Decision Diagrams. | Shinsaku Sakaue, Masaaki Nishino, Norihito Yasuda |
| 2018 | ILP | Using Binary Decision Diagrams to Enumerate Inductive Logic Programming Solutions. | Hikaru Shindo, Masaaki Nishino, Akihiro Yamamoto |
| 2018 | INFOCOM | Optimizing Network Reliability via Best-First Search over Decision Diagrams. | Masaaki Nishino, Takeru Inoue, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2018 | NAACL | Provable Fast Greedy Compressive Summarization with Any Monotone Submodular Function. | Shinsaku Sakaue, Tsutomu Hirao, Masaaki Nishino, Masaaki Nagata |
| 2017 | AAAI | Dancing with Decision Diagrams: A Combined Approach to Exact Cover. | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2017 | AAAI | Compiling Graph Substructures into Sentential Decision Diagrams. | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2017 | AAAI | BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems. | Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata |
| 2017 | ACL | Oracle Summaries of Compressive Summarization. | Tsutomu Hirao, Masaaki Nishino, Masaaki Nagata |
| 2017 | EACL | Enumeration of Extractive Oracle Summaries. | Tsutomu Hirao, Masaaki Nishino, Jun Suzuki, Masaaki Nagata |
| 2016 | AAAI | Zero-Suppressed Sentential Decision Diagrams. | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2016 | ACL | Phrase Table Pruning via Submodular Function Maximization. | Masaaki Nishino, Jun Suzuki, Masaaki Nagata |
| 2016 | COLING | Exploring Text Links for Coherent Multi-Document Summarization. | Xun Wang, Masaaki Nishino, Tsutomu Hirao, Katsuhito Sudoh, Masaaki Nagata |
| 2015 | AAAI | BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems. | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2015 | NAACL | A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization. | Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Shin-ichi Minato, Masaaki Nagata |
| 2014 | AAAI | A Sparse Parameter Learning Method for Probabilistic Logic Programs. | Masaaki Nishino, Akihiro Yamamoto, Masaaki Nagata |
| 2014 | PAKDD | On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree. | Norihito Yasuda, Masaaki Nishino, Shin-ichi Minato |
| 2014 | SDM | Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest. | Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata |
| 2013 | ECIR | Text Summarization while Maximizing Multiple Objectives with Lagrangian Relaxation. | Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Jun Suzuki, Masaaki Nagata |
| 2013 | ECIR | Sub-sentence Extraction Based on Combinatorial Optimization. | Norihito Yasuda, Masaaki Nishino, Tsutomu Hirao, Masaaki Nagata |
| 2013 | EMNLP | Single-Document Summarization as a Tree Knapsack Problem. | Tsutomu Hirao, Yasuhisa Yoshida, Masaaki Nishino, Norihito Yasuda, Masaaki Nagata |