Travelled to:
1 × France
Collaborated with:
M.S.Hsiao
Talks about:
reduct (1) comput (1) fault (1) chain (1) seed (1) lfsr (1) base (1) use (1) smt (1)
Person: Dhrumeel Bakshi
DBLP: Bakshi:Dhrumeel
Contributed to:
Wrote 1 papers:
- DATE-2013-BakshiH #reduction #smt #using
- LFSR seed computation and reduction using SMT-based fault-chaining (DB, MSH), pp. 1071–1076.