Travelled to:
1 × Brazil
1 × Portugal
Collaborated with:
P.Tarau
Talks about:
synthesi (2) circuit (2) combin (2) framework (1) revisit (1) program (1) logic (1) exact (1)
Person: Brenda Luderman
DBLP: Luderman:Brenda
Contributed to:
Wrote 2 papers:
- SAC-2008-TarauL #synthesis
- Revisiting exact combinational circuit synthesis (PT, BL), pp. 1758–1759.
- ICLP-2007-TarauL #framework #logic programming #synthesis
- A Logic Programming Framework for Combinational Circuit Synthesis (PT, BL), pp. 180–194.