128
click to vote
ISAAC
15 years 5 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. ...
110
Voted
ISAAC
15 years 5 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...
103
click to vote
ISAAC
15 years 5 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 5 months ago
1995 Springer
Abstract. The minimum-redundancy prefix codeproblem is to deter
ISAAC
15 years 5 months ago
1995 Springer  |
Algorithms