Published in: LIPIcs, Volume 265, 21st International Symposium on Experimental Algorithms (SEA 2023)
Kengo Nakamura, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato. CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints. In 21st International Symposium on Experimental Algorithms (SEA 2023). Leibniz International Proceedings in Informatics (LIPIcs), Volume 265, pp. 11:1-11:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2023)
@InProceedings{nakamura_et_al:LIPIcs.SEA.2023.11, author = {Nakamura, Kengo and Nishino, Masaaki and Yasuda, Norihito and Minato, Shin-ichi}, title = {{CompDP: A Framework for Simultaneous Subgraph Counting Under Connectivity Constraints}}, booktitle = {21st International Symposium on Experimental Algorithms (SEA 2023)}, pages = {11:1--11:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-279-2}, ISSN = {1868-8969}, year = {2023}, volume = {265}, editor = {Georgiadis, Loukas}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SEA.2023.11}, URN = {urn:nbn:de:0030-drops-183613}, doi = {10.4230/LIPIcs.SEA.2023.11}, annote = {Keywords: Subgraph counting, Connectivity, Zero-suppressed Binary Decision Diagram} }
Published in: LIPIcs, Volume 160, 18th International Symposium on Experimental Algorithms (SEA 2020)
Kengo Nakamura, Shuhei Denzumi, and Masaaki Nishino. Variable Shift SDD: A More Succinct Sentential Decision Diagram. In 18th International Symposium on Experimental Algorithms (SEA 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 160, pp. 22:1-22:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{nakamura_et_al:LIPIcs.SEA.2020.22, author = {Nakamura, Kengo and Denzumi, Shuhei and Nishino, Masaaki}, title = {{Variable Shift SDD: A More Succinct Sentential Decision Diagram}}, booktitle = {18th International Symposium on Experimental Algorithms (SEA 2020)}, pages = {22:1--22:13}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-148-1}, ISSN = {1868-8969}, year = {2020}, volume = {160}, editor = {Faro, Simone and Cantone, Domenico}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SEA.2020.22}, URN = {urn:nbn:de:0030-drops-120968}, doi = {10.4230/LIPIcs.SEA.2020.22}, annote = {Keywords: Boolean function, Data structure, Sentential decision diagram} }
Published in: LIPIcs, Volume 92, 28th International Symposium on Algorithms and Computation (ISAAC 2017)
Kengo Nakamura. Fully Dynamic Connectivity Oracles under General Vertex Updates. In 28th International Symposium on Algorithms and Computation (ISAAC 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 92, pp. 59:1-59:12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{nakamura:LIPIcs.ISAAC.2017.59, author = {Nakamura, Kengo}, title = {{Fully Dynamic Connectivity Oracles under General Vertex Updates}}, booktitle = {28th International Symposium on Algorithms and Computation (ISAAC 2017)}, pages = {59:1--59:12}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-054-5}, ISSN = {1868-8969}, year = {2017}, volume = {92}, editor = {Okamoto, Yoshio and Tokuyama, Takeshi}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ISAAC.2017.59}, URN = {urn:nbn:de:0030-drops-82607}, doi = {10.4230/LIPIcs.ISAAC.2017.59}, annote = {Keywords: Dynamic Graph, Connectivity, Depth-First Search} }
Feedback for Dagstuhl Publishing