msoos.org
CryptoMiniSat 4 | Wonderings of a SAT geek
https://www.msoos.org/cryptominisat4
Wonderings of a SAT geek. A blog about SAT solving and cryptography. Newest version is 4.5.3. Source tarball as well as precompiled Linux binary is here. For building you will need cmake. It’s also best to have zlib and the program options Boost library installed:. Sudo apt-get install cmake libboost-program-options-dev zlib1g-dev $ tar xzvf cryptominisat-4.5.3.tar.gz $ cd cryptominisat $ cmake . $ sudo make install. Instance simplification at every point of the search (inprocessing). Are not used by def...
briceb.blogspot.com
Encore un blog(ue)...: avril 2010
http://briceb.blogspot.com/2010_04_01_archive.html
Des nouvelles d'un peu partout. Parc de Waterton, second jour. Au réveil, le second jour, je pars faire un tour avec mon appareil. Au loin, des grues. Le soleil est bien levé, on a mangé notre avoine, alors on repart dans la parc, mais cette fois avec l'idée de traverser la frontière US. D'ailleurs, ya pas que nous qui nous levons. Enfin cuilà il devait sortir d'hibernation (? Ou alors il a pris un trou dont un bout n'était pas exploité! Finalement on traverse la frontière :. Et de l'autre côté? Dès l'en...
msoos.org
Tools | Wonderings of a SAT geek
https://www.msoos.org/category/tools-2
Wonderings of a SAT geek. A blog about SAT solving and cryptography. Tools developed by me. Towards CryptoMiniSat 5.0. June 14, 2015. I have worked a lot on CryptoMiniSat 5.0 in the past months so I thought I’d write a little bit about what I spent my time on. I have put lots of effort into use Amazon AWS. The system I built has a client-server infrastructure where the server is a very-very small machine (t1.micro) that hands out jobs to very-very beefy client machine(s) ( c4.8xlarge. Code into CryptoMin...
msoos.org
Research | Wonderings of a SAT geek
https://www.msoos.org/category/reseach
Wonderings of a SAT geek. A blog about SAT solving and cryptography. Machine Learning and SAT. August 9, 2015. I have lately been digging myself into a deep hole with machine learning. While doing that it occurred to me that the SAT community has essentially been trying to imitate some of ML in a somewhat poor way. Let me explain. CryptoMiniSat and clause cleaning strategy selection. When CryptoMiniSat won the SAT Race of 2010. Continue reading →. One comment so far. April 16, 2014. That did it: it was c...
briceb.blogspot.com
Encore un blog(ue)...: Photos sélectionnées
http://briceb.blogspot.com/p/photo-selectionnees.html
Des nouvelles d'un peu partout. Inscription à : Articles (Atom). Thésard, moniteur à l'Université de Grenoble. Ce que jaime pratiquer : la randonnée, le ski, courir, la photographie, lire, et bien dautres activités mais surtout. ma thèse :). Afficher mon profil complet. Rechercher dans ce blog. Calgary : sortir le soir? Le sport et les Canadiens. Calgary : la bouffe? Les photos de ce blog. Je me suis décidé à inclure ce petit dessin pour toutes les photographies présentes dans ce blog :.
briceb.blogspot.com
Encore un blog(ue)...: décembre 2009
http://briceb.blogspot.com/2009_12_01_archive.html
Des nouvelles d'un peu partout. Calgary : le centre ville. Le centre ville de Calgary : c'est haut, c'est neuf, c'est transparent. Voici quelques vues d'ensemble. Depuis le nord-ouest, un jour de grand froid. Oui la tache blanche au premier plan, c'est la Bow dans son habit hivernal. Enfin, la prise de vue carte postale habituelle, avec le stade. Faudra que j'en fasse une plus jolie :. À partir du centre, la ville est découpée en 4 : NW, NE, SE, SW. Ce qui fait par exemple qu'il existe au plus (et so...
briceb.blogspot.com
Encore un blog(ue)...: février 2010
http://briceb.blogspot.com/2010_02_01_archive.html
Des nouvelles d'un peu partout. Traversée des glaciers du Wapta. Au départ du lac Bow (comme pour Crowfoot), mais cette fois avec un guide, direction le refuge de Bow pour une première journée de cette classique des Rocheuses : la traversée du glacier du Wapta. La journée ne s'annonce pas fameuse (Louise Lodge). On monte vers le refuge de Bow (au fond à droite, au lieu de faire la même balade vers Crowfoot que la semaine précédente, au fond à gauche.). Le lendemain, timide lever de soleil. On passe un pe...
briceb.blogspot.com
Encore un blog(ue)...: août 2009
http://briceb.blogspot.com/2009_08_01_archive.html
Des nouvelles d'un peu partout. Séoul : et la conf dans tout ça? Je réserve le meilleur pour la fin :). La conférence avait donc lieu fin juillet au KIAS. Dans ce bâtiment précisément :. S'y rendre le premier jour n'a pas été une mince affaire, n'ayant pas imprimé le plan. À la sortie du métro, il y a des pancartes. je croyais tout naïvement que le nord était en haut. Eh bien non, les plans sont en général dépourvu d'indication. Cardinale et sont disposés de manière à prendre. Le dîner fut ponctué par di...
briceb.blogspot.com
Encore un blog(ue)...: avril 2006
http://briceb.blogspot.com/2006_04_01_archive.html
Des nouvelles d'un peu partout. Déjà, après la saison des jonquilles, voici celle des tulipes. Les parcs fleurissent de plus en plus et se balader devient de plus en plus agréable, surtout s'il arrive à faire beau quelque temps. Ce qui est somme toute très rare ici. Voici Regents Park. Cette semaine, c'était l'anniversaire de la reine, le vrai, le «non officiel. Assez peu d'événements pour 80 ans! Tout d'abord un petit tour par Stomp. Le musical. Le théâtre est juste à côté de Chicago. Aujourd'hui, comme...
