Travelled to:1 × USA
Collaborated with:S.P.Khatri A.Mandal
Talks about:logic (2) understand (1) synthesi (1) satisfi (1) boolean (1) diseas (1) applic (1) genet (1) nois (1) cure (1)
Person: Pey-Chang Kent Lin
DBLP: Lin:Pey=Chang_Kent
Contributed to:
2012Wrote 2 papers:
- DAC-2012-LinK #comprehension #logic #search-based #synthesis
- Application of logic synthesis to the understanding and cure of genetic diseases (PCKL, SPK), pp. 734–740.
- DAC-2012-LinMK #logic #satisfiability #using
- Boolean satisfiability using noise based logic (PCKL, AM, SPK), pp. 1260–1261.