Je vais continuer ce post par quelques photos prises dans des bar. Il y a souvent des groupes de musique.

A blog about SAT solving and cryptography. In this post, I will be taking a shot at building prediction models for learnt clause usefulness by running over 150 unsatisfiable CNF problems, extracting over 140 features for each learnt clause, and then calculating whether the clause was used in the UNSAT proof. Here I need to thank Marijn Heule. Who has helped me adding a clause ID to each clause in his DRAT checker. 8216;s Main Track and was a novel and truly int.

And they have a plan. Saturday, July 20, 2013. GSOC 2013 project progress for weeks 0-4. I am Ioana Tamas, and this is a summary of the weekly updates of my GSOC 2013 project for Polybori. Hopefully, the next updates will be posted in separate blog posts.

A GTK chess board widget. IRC proxy - The Ultimate Cyborg. How to recover deleted files on an ext3 file system. Running iceweasel on debian amd64, outside a chroot. A short recipe to shrink large Matroska video files. Directory dependent history and environment in bash. Debian cheat sheet - customizing packages and Pinning errata. Setting up a jail rooted SVN repository.