How fast can one decide if a SAT instance has an isolated solution? (more…)
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…)
Theoretical computer science and other fun topics, through the lens of constraint satisfaction.
Blog at WordPress.com.