Travelled to:1 × USA
Collaborated with:K.Wang J.Liu
Talks about:boolean (2) network (1) simul (1) match (1) larg (1) base (1) sat (1)
Person: Chung-Ming Chan
DBLP: Chan:Chung=Ming
Contributed to:
2009Wrote 1 papers:
- DAC-2009-WangCL #network #satisfiability #scalability #simulation
- Simulation and SAT-based Boolean matching for large Boolean networks (KHW, CMC, JCL), pp. 396–401.