Profile cover photo
Profile photo
Mate Soos
66 followers
66 followers
About
Posts

Post has shared content
Add a comment...

Post has shared content
Looks cool!
We have an advanced winter school on reasoning engines for rigorous system engineering in Linz in the first week of February. Talks are about SAT, SMT, QBF and first-order theorem proving by experts who have built the fastest solvers in the world.
This is an advanced course targeted at PhD students and other researchers, but one can also obtain credits for it (as part of our Advanced model checking course. Thus exceptional master students might also be able to follow. You do not need to attend every session, but registration is expected.
For more information see http://fmv.jku.at/rerise14
Add a comment...

Post has attachment
Satan my cute cat 
PhotoPhotoPhotoPhotoPhoto
Satan the cat
6 Photos - View album
Add a comment...

Post has attachment
Satan the cat
PhotoPhotoPhotoPhotoPhoto
Satan the cat
8 Photos - View album
Add a comment...

Post has attachment
Exhibition
PhotoPhotoPhoto
4 March 2013
3 Photos - View album
Add a comment...

Post has attachment

So, implied literal caching really is important, and stamping is not enough.
Add a comment...

So CryptoMiniSat 3.0 is coming to the end, really. I need to run some fuzz-testing now, add XOR-to-NORM converter and add seamless unelimination of variables. Neither is big, about 2 days of work in total. I might actually get this released, I am quite glad!
Add a comment...

Post has attachment
Wonderfully useful. I use it for my open-source project CryptoMiniSat and it does magic :)
Add a comment...

Post has attachment
Add a comment...
Wait while more posts are being loaded