http://www.msoos.org A blog about SAT solving and cryptography Tue, 31 Jan 2012 19:19:48 +0000 en hourly 1 http://wordpress.org/?v=3.3.1 http://www.msoos.org/2012/01/a-nifty-way-of-saving-time-with-opencl/ http://www.msoos.org/2012/01/a-nifty-way-of-saving-time-with-opencl/#comments Tue, 17 Jan 2012 21:14:17 +0000 msoos http://www.msoos.org/?p=1128 http://www.msoos.org/2012/01/a-nifty-way-of-saving-time-with-opencl/feed/ 0 http://www.msoos.org/2012/01/amds-opencl-heaven-and-hell/ http://www.msoos.org/2012/01/amds-opencl-heaven-and-hell/#comments Thu, 05 Jan 2012 21:01:17 +0000 msoos http://www.msoos.org/?p=1079 http://www.msoos.org/2012/01/amds-opencl-heaven-and-hell/feed/ 6 http://www.msoos.org/2011/12/thoughts-on-sat-at-home/ http://www.msoos.org/2011/12/thoughts-on-sat-at-home/#comments Sun, 11 Dec 2011 21:05:58 +0000 msoos http://www.msoos.org/?p=1066 http://www.msoos.org/2011/12/thoughts-on-sat-at-home/feed/ 1 http://www.msoos.org/2011/08/ccc-camp11/ http://www.msoos.org/2011/08/ccc-camp11/#comments Mon, 15 Aug 2011 20:17:41 +0000 msoos http://www.msoos.org/?p=979 http://www.msoos.org/2011/08/ccc-camp11/feed/ 2 http://www.msoos.org/2011/08/failed-literal-probing-and-uip/ http://www.msoos.org/2011/08/failed-literal-probing-and-uip/#comments Thu, 04 Aug 2011 09:50:02 +0000 msoos http://www.msoos.org/?p=957 http://www.msoos.org/2011/08/failed-literal-probing-and-uip/feed/ 2