1. A NOTE ON THE MIXED VAN DER WAERDEN NUMBER;B KOREAN MATH SOC;2021
2. Some results on a class of mixed van der Waerden numbers;Rocky Mountain Journal of Mathematics;2018-06-01
3. Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer;Theory and Applications of Satisfiability Testing – SAT 2016;2016
4. Compositional Propositional Proofs;Logic for Programming, Artificial Intelligence, and Reasoning;2015
5. On the van der Waerden numbersw(2;3,t);Discrete Applied Mathematics;2014-09