The paper is rather complicated, you can see it here http://www.hpl.hp.com/personal/Vinay_Deolalikar/#s.p http://www.hpl.hp.com/personal/Vinay_Deolalikar/#s.p.

The paper is rather complicated, you can see it here http://www.hpl.hp.com/personal/Vinay_Deolalikar/#s.p http://www.hpl.hp.com/personal/Vinay_Deolalikar/#s.p. on the author's site. it would be nice to believe this is solved, but my gut instinct is that it will not be vetted.