Travelled to:2 × USA
Collaborated with:J.R.Jiang T.Hsu
Talks about:synthesi (1) feedback (1) reason (1) extend (1) level (1) learn (1) initi (1) encod (1) decod (1) claus (1)
Person: Kuan-Hua Tu
DBLP: Tu:Kuan=Hua
Contributed to:
2015
2013Wrote 2 papers:
- SAT-2015-TuHJ #learning #named #reasoning #satisfiability
- QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving (KHT, TCH, JHRJ), pp. 343–359.
- DAC-2013-TuJ #feedback #synthesis
- Synthesis of feedback decoders for initialized encoders (KHT, JHRJ), p. 6.