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…)

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…)

23 March 2010

Immediate SAT restarts?

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

SAT solvers have been moving to more frequent restarts. Can restarts completely replace local search? (more…)

« Previous PageNext Page »

Create a free website or blog at WordPress.com.