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...
share
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) ...
research
∙
04/25/2016
