Given the sudden influx of visitors, it seemed apposite to talk about Vinay Deolalikar’s manuscript titled (or in words, “P is not equal to NP”). (more…)
9 August 2010
3 August 2010
The TheoryOverflow site was proposed a few weeks ago for discussion of research-level questions in theoretical computer science. I am committed to using this service, and encourage others in the community to try it out.
5 July 2010
25 June 2010
If you use the hyperref package and have seen
Package hyperref Warning: Token not allowed in a PDF string
when running pdflatex/pdftex, consider using
\texorpdfstring to specify the PDF string explicitly.
14 June 2010
15 April 2010
How fast can one decide if a SAT instance has an isolated solution? (more…)