Travelled to:1 × France
1 × USA
Collaborated with:C.(.Huang C.Wu C.Lee C.Huang
Talks about:sat (3) circuit (2) base (2) structur (1) interpol (1) function (1) complex (1) solver (1) robust (1) enlarg (1)
Person: Ting-Hao Lin
DBLP: Lin:Ting=Hao
Contributed to:
2011
2007Wrote 2 papers:
- DAC-2011-LinH #satisfiability #using
- Using SAT-based Craig interpolation to enlarge clock gating functions (THL, CY(H), pp. 621–626.
- DATE-2007-WuLLH #named #robust #satisfiability
- QuteSAT: a robust circuit-based SAT solver for complex circuit structure (CAW, THL, CCL, CYH), pp. 1313–1318.