Thanks for that resource, that is really interesting! Although I'm quite new to the SAT field I have to say I am quite impressed with the performance of cuttin

Thanks for that resource, that is really interesting! Although I'm quite new to the SAT field I have to say I am quite impressed with the performance of cutting edge sat solvers. Looking at the source of some of them (like Glucose) I don’t see that much low-level trickery. I wonder how much down the stack one could go to try to get more out of their processors.