Search results
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
Page title matches
- | [[John Backes]] | [[John Backes]] and [[Marc Riedel]]10 KB (1,411 words) - 17:28, 24 November 2015
File:Backes Riedel Reduction Of Interpolants For Logic Synthesis.pdf (1,275 × 1,650 (248 KB)) - 00:12, 3 September 2010File:Backes Riedel Reduction Of Interpolants For Logic Synthesis.ppt (729 KB) - 04:22, 23 January 2011File:Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf (1,275 × 1,650 (290 KB)) - 19:27, 20 May 2011File:Backes Riedel The Synthesis of Cyclic Dependencies with Craig Interpolation.pdf (1,275 × 1,650 (257 KB)) - 16:18, 24 July 2009File:Backes Riedel The Synthesis Of Functional Dependencies With Craig Interpolation.ppt (1,021 KB) - 22:10, 3 February 2011File:Backes Riedel The Synthesis of Cyclic Dependencies with Boolean Satisfiability.pdf (1,275 × 1,650 (670 KB)) - 17:25, 17 June 2011File:Backes Riedel The Synthesis of Cyclic Functional Dependencies with Boolean Satisfiability.pdf (1,275 × 1,650 (2.59 MB)) - 22:16, 9 January 2016File:Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pptx (753 KB) - 22:46, 5 April 2013File:Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pdf (1,275 × 1,650 (248 KB)) - 22:43, 5 April 2013File:Backes Riedel Resolution Proofs As A Data Structure For Logic Synthesis.pdf (1,275 × 1,650 (212 KB)) - 15:18, 3 May 2011File:Backes Riedel Resolution Proofs as a Data Structure for Logic Synthesis.ppt (1.41 MB) - 01:24, 24 June 2011File:Qian Backes Riedel The Synthesis of Stochastic Circuits for Nanoscale Computation.pdf (1,275 × 1,650 (1.64 MB)) - 10:35, 16 May 2012File:Backes Fett Riedel The Analysis And Mapping Of Cyclic Cricuits With Boolean Satisfiability.pdf (1,275 × 1,650 (414 KB)) - 12:02, 2 November 2011File:Qian Backes Riedel The Synthesis of Stochastic Circuits for Nanoscale Computation IJNMC.pdf (1,274 × 1,755 (808 KB)) - 18:17, 29 September 2010File:Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pdf (1,275 × 1,650 (1.35 MB)) - 23:00, 5 April 2013File:Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pptx (8.86 MB) - 23:03, 5 April 2013
Page text matches
File:John Backes.jpg Photo of John Backes.(217 × 307 (16 KB)) - 23:35, 6 September 2007- | [[John Backes]] | [[John Backes]] and [[Marc Riedel]]10 KB (1,411 words) - 17:28, 24 November 2015
- | [[John Backes]], [[Brian Fett]], and [[Marc Riedel]] | [[John Backes]], [[Brian Fett]], and [[Marc Riedel]]7 KB (1,009 words) - 15:24, 23 March 2012
- ...[Weikang Qian|<span style="color:#000000">Weikang Qian</span>]]''', [[John Backes]], and [[Marc Riedel]] ...[Weikang Qian|<span style="color:#000000">Weikang Qian</span>]]''', [[John Backes]], and [[Marc Riedel]]18 KB (2,566 words) - 10:02, 7 July 2023
- * [[John Backes | John]] has earned his Ph.D. He joined [http://www.rockwellcollins.com/ Ro * [[John Backes|John]] received the [http://www.grad.umn.edu/fellowships/ddf/ Doctoral Diss9 KB (1,318 words) - 14:56, 13 May 2024
- '''[[John Backes]]''' <br /> Ph.D., 2013<br /><em>[http://www.ece.umn.edu Electrical and Com12 KB (1,831 words) - 19:47, 13 May 2024
- | [[Weikang Qian]], [[John Backes]], and [[Marc Riedel]] | [[John Backes]] and [[Marc Riedel]]130 KB (18,062 words) - 05:12, 10 April 2024
- ...[Weikang Qian|<span style="color:#000000">Weikang Qian</span>]]''', [[John Backes]], and [[Marc Riedel]]16 KB (2,253 words) - 10:03, 7 July 2023
- | [[John Backes]] and [[Marc Riedel]]37 KB (5,254 words) - 16:26, 7 February 2024