川原 純

Enumerating All Subgraphs under Given Constraints Using Zero-suppressed Sentential Decision Diagrams 

In Proceedings of the 18th Symposium on Experimental Algorithms (SEA 2020) 160 9:1 - 9:14 2020年6月  査読有り

Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. 

12049 211 - 222 2020年  査読有り

Efficient construction of binary decision diagrams for network reliability with imperfect vertices 

Reliability Engineering & System Safety 188 142 - 154 2019年8月  査読有り

Evaluation of hotspot cluster detection using spatial scan statistic based on exact counting 

Japanese Journal of Statistics and Data Science 2(1) 241 - 262 2019年6月  査読有り