Deep Bound Hardware Model Checking Instances , Quadratic Propagations Benchmarks and Reencoded Factorization Problems Submitted to the SAT Competition 2017
Simple, fast, and practical non-blocking and blocking concurrent queue algorithms