http://www.msoos.org A blog about SAT solving and cryptography Fri, 18 May 2012 10:17:01 +0000 en hourly 1 http://wordpress.org/?v=3.3.2 http://www.msoos.org/2012/05/on-hyper-binary-resolution/ http://www.msoos.org/2012/05/on-hyper-binary-resolution/#comments Thu, 17 May 2012 09:34:01 +0000 msoos http://www.msoos.org/?p=1196 http://www.msoos.org/2012/05/on-hyper-binary-resolution/feed/ 0 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/ 8 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/ 3 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