Travelled to:1 × USA
1 × United Kingdom
Collaborated with:D.P.Singh S.D.Brown
Talks about:fpga (2) technolog (1) synthesi (1) quantifi (1) satisfi (1) boolean (1) studi (1) optim (1) logic (1) use (1)
Person: Andrew C. Ling
DBLP: Ling:Andrew_C=
Contributed to:
2005
2005Wrote 2 papers:
- DAC-2005-LingSB #case study
- FPGA technology mapping: a study of optimality (ACL, DPS, SDB), pp. 427–432.
- SAT-2005-LingSB #logic #quantifier #satisfiability #synthesis #using
- FPGA Logic Synthesis Using Quantified Boolean Satisfiability (ACL, DPS, SDB), pp. 444–450.