Jordan Gergov

18 papers A* 1A 2B 2Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2000 — —
Algorithms for interval coloring, geometric packing and memory optimization.
Jordan Gergov
1999 A* conf
Algorithms for Compile-Time Memory Optimization.
SODA
Jordan Gergov
1996 A conf
Approximation Algorithms for Dynamic Storage Allocations.
ESA
Jordan Gergov
1996 J jnl
Mod-2-OBDDs - A Data Structure that Generalizes EXOR-Sum-of-Products and Ordered Binary Decision Diagrams.
Formal Methods Syst. Des.
Jordan Gergov, Christoph Meinel
1995 B conf
More Efficient Parallel Flow Algorithms.
ISAAC
Jürgen Dedorath, Jordan Gergov, Torben Hagerup
1994 — conf
Boolean Manipulation with Free BDD's. First Experimental Results.
EDAC-ETC-EUROASIC
Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová
1994 — conf
Boolean Manipulation with Free BDDs: An Application in Combinational Logic Verification.
IFIP Congress (1)
Jordan Gergov, Christoph Meinel
1994 J jnl
Efficient Boolean Manipulation With OBDD's can be Extended to FBDD's.
IEEE Trans. Computers
Jordan Gergov, Christoph Meinel
1994 J jnl
On the Complexity of Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs.
Inf. Process. Lett.
Jordan Gergov, Christoph Meinel
1994 J jnl
Time-Space Tradeoffs for Integer Multiplication on Various Types of Input Oblivious Sequential Machines.
Inf. Process. Lett.
Jordan Gergov
1993 J jnl
Boolean Manipulation with Free BDD's - First Experimental Results
Universität Trier, Mathematik/Informatik, Forschungsbericht
Jochen Bern, Jordan Gergov, Christoph Meinel, Anna Slobodová
1993 J jnl
Combinational Logic Verification with FBDDs
Universität Trier, Mathematik/Informatik, Forschungsbericht
Jordan Gergov, Christoph Meinel
1993 J jnl
Efficient Boolean Manipulation with OBDD's can be Extended to FBDD's
Universität Trier, Mathematik/Informatik, Forschungsbericht
Jordan Gergov, Christoph Meinel
1993 A conf
Frontiers of Feasible and Probabilistic Feasible Boolean Manipulation with Branching Programs.
STACS
Jordan Gergov, Christoph Meinel
1993 J jnl
Mod-2-OBDD's: A Generalization of OBDD's and EXOR-Sum-of-Products
Universität Trier, Mathematik/Informatik, Forschungsbericht
Jordan Gergov, Christoph Meinel
1992 J jnl
Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs
Universität Trier, Mathematik/Informatik, Forschungsbericht
Jordan Gergov, Christoph Meinel
1992 B conf
Analysis and Manipulation of Boolean Functions in Terms of Decision Graphs.
WG
Jordan Gergov, Christoph Meinel
1992 J jnl
Efficient Analysis and Manipulation of OBDDs can be Extended to Read-once-only Branching Programs
Universität Trier, Mathematik/Informatik, Forschungsbericht
Jordan Gergov, Christoph Meinel