Travelled to:
1 × France
Collaborated with:
C.Scholl G.Hotz P.Molitor
Talks about:
functionsbi (1) incomplet (1) symmetri (1) specifi (1) exploit (1) boolean (1) strong (1) robdd (1) minim (1) size (1)
Person: S. Melchior
DBLP: Melchior:S=
Contributed to:
Wrote 1 papers:
- EDTC-1997-SchollMHM #symmetry
- Minimizing ROBDD sizes of incompletely specified Boolean functionsby exploiting strong symmetries (CS, SM, GH, PM), pp. 229–234.