119
click to vote
ISAAC
15 years 4 months ago
1995 Springer
Ordered Binary-Decision Diagrams (OBDD) are the state-of-the-art data structure for boolean function manipulation and there exist several software packages for OBDD manipulation. ...
ISAAC
15 years 4 months ago
1995 Springer
Given an undirected graph G, the maximal planar subgraph problem is to determine a planar subgraph H of G such that no edge of G-H can be added to H without destroying planarity. P...
89
Voted
ISAAC
15 years 4 months ago
1995 Springer
An extended abstract of this paper will be presented at the Sixth Annual International Symposium on Algorithms and Computation.
ISAAC
15 years 4 months ago
1995 Springer 69
Voted
ISAAC
15 years 4 months ago
1995 Springer
Abstract. The minimum-redundancy prefix codeproblem is to deter
|