Difference between revisions of "John Backes"

From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
Line 7: Line 7:
 
==Papers that John has contributed too==
 
==Papers that John has contributed too==
  
[[Media:Backes_Riedel_The_Analysis_of_Cyclic_Circuits_With_Boolean-Satisfiability.pdf | The Analysis of Cyclic Circuits with Boolean Satisfiability]]
+
[[Media:Backes_Riedel_The_Analysis_of_Cyclic_Circuits_With_Boolean_Satisfiability.pdf | The Analysis of Cyclic Circuits with Boolean Satisfiability]]
 +
 
 +
[[Media:Backes_Riedel_The_Analysis_of_Cyclic_Circuits_With_Boolean_Satisfiability.pdf | The Analysis of Cyclic Circuits with Boolean Satisfiability]]
  
 
[[Media:Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation.pdf  | The Synthesis of Stochastic Circuits for Nanoscale Computation]]
 
[[Media:Qian_Backes_Riedel_The_Synthesis_of_Stochastic_Circuits_for_Nanoscale_Computation.pdf  | The Synthesis of Stochastic Circuits for Nanoscale Computation]]

Revision as of 13:47, 6 January 2009

John Backes.jpg

About John

My research interests include Logic Synthesis, Verification, Technology Mapping, and SAT-Based Algorithms. I will earn my bachelor's degree in Computer Engineering in May of 2009.

Papers that John has contributed too

The Analysis of Cyclic Circuits with Boolean Satisfiability

The Analysis of Cyclic Circuits with Boolean Satisfiability

The Synthesis of Stochastic Circuits for Nanoscale Computation

Contact Information

  • Email: BackesEmail.gif
  • Phone: (952) 239-7828