User contributions for Backes
From The Circuits and Biology Lab at UMN
Jump to navigationJump to search
- 17:28, 24 November 2015 diff hist +9 John Backes →John's Papers current
- 13:16, 23 October 2014 diff hist −1 John Backes →John's Papers
- 13:16, 23 October 2014 diff hist −7 John Backes →John's Papers
- 15:33, 4 September 2014 diff hist 0 John Backes →About John
- 15:33, 4 September 2014 diff hist +11 John Backes →About John
- 23:15, 5 April 2013 diff hist +121 Main Page →Current Announcements
- 23:12, 5 April 2013 diff hist +81 People
- 23:07, 5 April 2013 diff hist +84 John Backes →About John
- 23:04, 5 April 2013 diff hist +1,311 John Backes →John's Papers
- 23:03, 5 April 2013 diff hist 0 N File:Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pptx current
- 23:00, 5 April 2013 diff hist 0 File:Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pdf uploaded a new version of "File:Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pdf" current
- 22:55, 5 April 2013 diff hist 0 N File:Backes Algorithms And Data Structures For Logic Synthesis And Verification Using Boolean Satisfiability.pdf
- 22:49, 5 April 2013 diff hist −1 John Backes →John's Papers
- 22:47, 5 April 2013 diff hist +85 John Backes →John's Papers
- 22:46, 5 April 2013 diff hist 0 N File:Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pptx current
- 22:45, 5 April 2013 diff hist +46 John Backes →John's Papers
- 22:43, 5 April 2013 diff hist 0 N File:Backes Riedel Using Cubes of Non-State Variables With Property Directed Reachability.pdf current
- 22:42, 5 April 2013 diff hist +1,130 John Backes →John's Papers
- 15:34, 24 May 2012 diff hist −25 People →Former Students
- 15:33, 24 May 2012 diff hist +2 People →Former Students
- 15:32, 24 May 2012 diff hist +2 People →Former Students
- 18:44, 15 April 2012 diff hist 0 John Backes →John's Papers
- 18:43, 15 April 2012 diff hist +7 John Backes →John's Papers
- 15:26, 23 March 2012 diff hist −7 Papers, Theses, and Presentations →Computing with Feedback
- 15:24, 23 March 2012 diff hist −13 Brian Fett →Papers current
- 12:02, 2 November 2011 diff hist 0 File:Backes Fett Riedel The Analysis And Mapping Of Cyclic Cricuits With Boolean Satisfiability.pdf uploaded a new version of "File:Backes Fett Riedel The Analysis And Mapping Of Cyclic Cricuits With Boolean Satisfiability.pdf" current
- 11:02, 2 November 2011 diff hist −5 John Backes →John's Papers
- 15:58, 21 October 2011 diff hist +12 John Backes →John's Papers
- 17:57, 17 June 2011 diff hist +273 Papers, Theses, and Presentations →Algorithms and Data Structures
- 17:54, 17 June 2011 diff hist +262 John Backes →John's Papers
- 17:40, 17 June 2011 diff hist −33 Papers, Theses, and Presentations →Computing with Feedback
- 17:35, 17 June 2011 diff hist 0 Papers, Theses, and Presentations →Computing with Feedback
- 17:34, 17 June 2011 diff hist +843 Papers, Theses, and Presentations →Computing with Feedback
- 17:31, 17 June 2011 diff hist −20 John Backes →John's Papers
- 17:26, 17 June 2011 diff hist −15 John Backes →John's Papers
- 17:25, 17 June 2011 diff hist 0 N File:Backes Riedel The Synthesis of Cyclic Dependencies with Boolean Satisfiability.pdf current
- 17:24, 17 June 2011 diff hist +877 John Backes →John's Papers
- 19:27, 20 May 2011 diff hist 0 File:Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf uploaded a new version of "File:Backes Riedel The Analysis of Cyclic Circuits With Boolean Satisfiability.pdf" current
- 15:34, 3 May 2011 diff hist +795 Papers, Theses, and Presentations →Algorithms and Data Structures
- 15:31, 3 May 2011 diff hist +6 John Backes →John's Papers
- 15:29, 3 May 2011 diff hist 0 John Backes →John's Papers
- 15:25, 3 May 2011 diff hist +16 John Backes →John's Papers
- 15:22, 3 May 2011 diff hist +843 John Backes →John's Papers
- 15:18, 3 May 2011 diff hist 0 N File:Backes Riedel Resolution Proofs As A Data Structure For Logic Synthesis.pdf current
- 10:49, 24 January 2011 diff hist −7 Research →Computing with Things Small, Wet, and Random
- 16:50, 20 January 2011 diff hist +150 John Backes →John's Papers
- 16:48, 20 January 2011 diff hist −1 Papers, Theses, and Presentations →Computing with Molecules
- 16:45, 20 January 2011 diff hist +155 Papers, Theses, and Presentations →Computing with Molecules
- 16:32, 20 January 2011 diff hist −10 Papers, Theses, and Presentations →SAT-Based Algorithms
- 16:28, 20 January 2011 diff hist +2 Papers, Theses, and Presentations →SAT-Based Algorithms