Search results for: Igor L. Markov
IEEE Micro > 2016 > 36 > 4 > 48 - 56
Lecture Notes in Computer Science > Algorithm Engineering and Experimentation > Software and Applications > 182-198
Lecture Notes in Computer Science > Theory and Applications of Satisfiability Testing – SAT 2010 > Part 2. Regular Papers > 113-127