Viewing profile — mate_soos

Before crying pilot error, we must all read Sydney Dekker's A Field Giude to Understading "Human Error" (and fully appreciate why he uses those quotes). Don't immediately assign bl…

If you to treat your employees as children, you will end up with a culture of excuses. If you give and take responsiblity for both your own work and the work of helping others do t…

I am a bit saddened that Vegard Nossum's work, which they used for encoding SHA-1 to SAT, is only mentioned as a footnote. The github code is at https://github.com/vegard/sha1-sat …

Sorry, wanted to say CoMiniSatPS, here: http://cs.nyu.edu/~chanseok/cominisatps/index.html One of its variants won the Main track of the SAT Competition of 2016, see http://baldur.…

Considering that CryptoMiniSat got 3rd place (after 1st and 2nd both being lingeling) in Parallel SAT solving the last competition, I think it was fair to include it. Sure, it's mi…

This approach is unworkable, it has been demonstrated many times. I have not only been developing a SAT solver for >7 years (with >9000 commits) but also have participated in the S…