Travelled to:1 × Canada
1 × Russia
Collaborated with:K.Su Y.Xu Y.Zhang
Talks about:bdd (2) knowledg (1) variabl (1) reason (1) packag (1) forget (1) manag (1) dynam (1) about (1) cach (1)
Person: Guanfeng Lv
DBLP: Lv:Guanfeng
Contributed to:
2013
2004Wrote 2 papers:
- CAV-2013-LvSX #named
- CacBDD: A BDD Package with Dynamic Cache Management (GL, KS, YX), pp. 229–234.
- KR-2004-SuLZ #reasoning
- Reasoning about Knowledge by Variable Forgetting (KS, GL, YZ), pp. 576–586.