Travelled to:1 × USA
Collaborated with:K.Wang C.Chan
Talks about:boolean (2) network (1) simul (1) match (1) larg (1) base (1) sat (1)
Person: Jung-Chang Liu
DBLP: Liu:Jung=Chang
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.