Constraints

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

1 April 2010

Hyperref with llncs bug

Filed under: Tips — András Salamon @ 10:32

Version 2.15 of Springer’s widely used llncs.cls LaTeX document class was released on 30 March 2010 to fix an incompatibility with the hyperref package. (more…)

Blog at WordPress.com.