John D. Backes

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2010

3 John D. Backes, Marc D. Riedel: Reduction of interpolants for logic synthesis. ICCAD 2010: 602-609

2009

2 Weikang Qian, John D. Backes, Marc D. Riedel: The Synthesis of Stochastic Circuits for Nanoscale Computation. IJNMC 1(4): 39-57 (2009)

2008

1 John D. Backes, Brian Fett, Marc D. Riedel: The analysis of cyclic circuits with Boolean satisfiability. ICCAD 2008: 143-148

	2010
3		John D. Backes, Marc D. Riedel: Reduction of interpolants for logic synthesis. ICCAD 2010: 602-609
	2009
2		Weikang Qian, John D. Backes, Marc D. Riedel: The Synthesis of Stochastic Circuits for Nanoscale Computation. IJNMC 1(4): 39-57 (2009)
	2008
1		John D. Backes, Brian Fett, Marc D. Riedel: The analysis of cyclic circuits with Boolean satisfiability. ICCAD 2008: 143-148

Coauthor Index

1 Brian Fett [1]

2 Weikang Qian [2]

3 Marc D. Riedel [1] [2] [3]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page