Search CORE

7 research outputs found

On threshold BDDs and the optimal variable ordering problem

Author: A Schrijver
A Urquhart
B Becker
B Bollig
C Meinel
CY Lee
GM Ziegler
HH Hoos
I Wegener
K Hosaka
M Behle
M Buro
Markus Behle
R Ebendt
RE Bryant
S Friedman
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Minimization of Binary Decision Diagrams by Adaptive Hierarchy Genetic Algorithm and Its Application in Circuit Test Generation

Author: J.M. Bars
K.C. Chou
O. Lhotak
R. Drechsler
R. Ebendt
R. Ebendt
W.N. Hung
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2013
Field of study

A Microcanonical Optimization Algorithm for BDD Minimization Problem

Author: A. Linhares
B. Bollig
C. Yang
M. Creutz
R. Ebendt
R. Ebendt
R.E. Bryant
S.J. Fredman
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2007
Field of study

Variable Ordering for the Application of BDDs to the Maximum Independent Set Problem

Author: B. Becker
C. Jordan
C.Y. Lee
D. Bergman
F. Forbes
H.R. Andersen
M.E. Dyer
N.J. Calkin
R. Ebendt
R.E. Bryant
S. Hoda
S.B. Akers
T. Hadzic
Y. Zhao
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2012
Field of study

Smart cities and transport infrastructures topical collection

Author: C Harrison
C Stave
D Efthymiou
E Arsenio
L Edvinsson
Laurent Carnis
O Heddebaut
O Söderström
R Ebendt
S Breux
T Nam
T Nam
V Alibino
Y Li
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Preliminaries

Author: A. Barenco
A. Biere
A. Biere
A. Peres
A. Smith
A.O. Pittenger
B. Bollig
B. Dutertre
C.E. Shannon
C.H. Papadimitriou
D. Maslov
D. Maslov
D.M. Miller
E.F. Fredkin
E.M. Clarke
F. Somenzi
J.A. Smolin
J.P. Marques-Silva
K. Patel
M. Davis
M. Davis
M. Nielsen
M.K. Thomson
M.M. Mano
M.R. Prasad
N. Eén
N.D. Mermin
R. Drechsler
R. Drechsler
R. Ebendt
R. Wille
R.E. Bryant
T. Larrabee
T. Toffoli
V.V. Shende
W.N.N. Hung
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2010
Field of study

Cultural algorithm for minimization of binary decision diagram and its application in crosstalk fault detection

Author: A. L. Oliveira
B. Bollig
B. K. Kaushik
C. A. C. Coello
D. J. Chen
D. Sawitzki
E. P. K. Tsang
F. G. Zhao
Guang-Zhao Zhang
J. Liu
K. Agarwal
K. I. Smith
K. Osnat
L. Heinrich-Litan
Ling Chen
M. Matsuura
M. S. Wu
R. Ebendt
R. S. Shelar
T. Ciamulski
T. K. Liu
W. Gänther
W. N. N. Hung
X. Yuan
Z. Yang
Zhong-Liang Pan
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core