Kensuke Kojima | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Yasuaki Kobayashi
32 publications
Kohei Suenaga
19 publications
Akihiro Yamamoto
6 publications
Taiga Sone
2 publications
Norihide Matsubara
1 publication
Minoru Kinoshita
1 publication

research

∙ 10/16/2019

Algorithms and Hardness Results for the Maximum Balanced Connected Subgraph Problem

The Balanced Connected Subgraph problem (BCS) was recently introduced by...

0 Yasuaki Kobayashi, et al. ∙

research

∙ 06/27/2018

BDDs Naturally Represent Boolean Functions, and ZDDs Naturally Represent Sets of Sets

This paper studies a difference between Binary Decision Diagrams (BDDs) ...

0 Kensuke Kojima, et al. ∙

research

∙ 04/25/2016

Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis

The template-based method is one of the most successful approaches to al...

0 Kensuke Kojima, et al. ∙