Searching for authors named Beate Bollig – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
A Lower Bound Technique for nondeterministic graph-driven readonce branching programs and its applications
- … Applications (Extended Abstract) Beate Bollig ⋆ and Philipp Woelfel ⋆ FB Informatik, LS2, Univ. Dortmund, 44221…
- Cited by 1 (1 self) – Add To MetaCart
-
Read-once Projections and Formal Circuit Verification with Binary Decision Diagrams
- … Beate Bollig and Ingo Wegener FB Informatik, LS II, Univ. Dortmund, 44221 Dortmund, Germany e…
- Cited by 4 (1 self) – Add To MetaCart
-
Parity graph-driven read-once branching programs and an exponential lower bound for integer multiplication
- … MULTIPLICATION (Extended Abstract) Beate Bollig ∗ FB Informatik, LS2, Univ. Dortmund, Germany bollig@(email omitted);…
- Cited by 4 (2 self) – Add To MetaCart
-
Asymptotically Optimal Bounds For OBDDs And The Solution Of Some Basic OBDD Problems
- … Bollig ## and Ingo Wegener ## FB Informatik, LS2, Univ. Dortmund, 44221 Dortmund, Germany bollig…
- Cited by 1 (0 self) – Add To MetaCart
-
Hierarchy Theorems For kOBDDs AND kIBDDs
- …HIERARCHY THEOREMS FOR kOBDDs AND kIBDDs Beate Bollig , Martin Sauerhoff , Detlef Sieling…
- Cited by 8 (7 self) – Add To MetaCart
-
On The Complexity Of The Hidden Weighted Bit Function For Various BDD Models
- …ON THE COMPLEXITY OF THE HIDDEN WEIGHTED BIT FUNCTION FOR VARIOUS BDD MODELS Beate Bollig…
- Cited by 4 (1 self) – Add To MetaCart
-
Variable Orderings For OBDDs, Simulated Annealing, And The Hidden Weighted Bit Function
- … Bollig , Martin Lobbing and Ingo Wegener FB Informatik, LS II, Univ. Dortmund, 44221 Dortmund, Fed…
- Cited by 4 (0 self) – Add To MetaCart
-
On the Average Case Circuit Delay of Disjunction
- …On the Average Case Circuit Delay of Disjunction Beate Bollig, Martin Huhne, Stefan Polt Lehrstuhl…
- Cited by 1 (0 self) – Add To MetaCart
-
On The Power Of Different Types Of Restricted Branching Programs
- …ON THE POWER OF DIFFERENT TYPES OF RESTRICTED BRANCHING PROGRAMS Beate Bollig , Martin Sauerhoff…
- Cited by 5 (1 self) – Add To MetaCart
-
SIMULATED ANNEALING TO IMPROVE VARIABLE ORDERINGS FOR OBDDs
- …SIMULATED ANNEALING TO IMPROVE VARIABLE ORDERINGS FOR OBDDs Beate Bollig , Martin Lobbing…
- Cited by 34 (4 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
