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