# Constraints

## 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
Tags:

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.
(more…)

## 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.
(more…)

## 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.
(more…)

## 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

### k-ISOLATED SAT

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

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

« Previous PageNext Page »

Create a free website or blog at WordPress.com.