Search results
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
Page title matches
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