9 August 2010

Deolalikar’s manuscript

Filed under: Commentary — András Salamon @ 17:39
Tags: ,

Given the sudden influx of visitors, it seemed apposite to talk about Vinay Deolalikar’s manuscript titled P \ne NP (or in words, “P is not equal to NP”). (more…)


3 August 2010

TheoryOverflow nearing beta

Filed under: Commentary — András Salamon @ 21:57

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

FOCS 2010 accepted papers

Filed under: Commentary — András Salamon @ 1:38
Tags: ,

The FOCS 2010 accepted papers were announced a few days ago. This is a quick summary of a few papers that caught my eye.

25 June 2010

texorpdfstring in hyperref

Filed under: Tips — András Salamon @ 18:25

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

CCC 2010

Filed under: Commentary — András Salamon @ 20:55
Tags: ,

There were several interesting papers at Computational Complexity 2010. Here are just a few, the full list of accepted papers is here. (more…)

15 April 2010


Filed under: Commentary,Question — András Salamon @ 13:29

How fast can one decide if a SAT instance has an isolated solution? (more…)

« Previous PageNext Page »

Create a free website or blog at