1. Ab Saeed Nejati, Haonan Duan, George Trimponias, Pascal Poupart, and Vijay Ganesh. Online Bayesian moment matching based sat solver heuristics. Submitted to ICML, 2020.
2. Glucose and syrup: Nine years in the sat competitions;Audemard;Proc. SAT Competition,2018
3. Jan Burchard, Manl Gay, Ange-Saloḿe Messeng Ekossono, Jan Horacek, Bernd Becker, Tobias Schubert, Martin Kreuzer, and Ilia Polian. Auto fault: towards automatic construction of algebraic fault attacks. in: Fault Diagnosis and Tolerance in Cryptography (FDTC), 2017 Workshop on, pages 65–72. IEEE, 2017.
4. Tomer Ashur, Glenn De Witte, and Yunwen Liu. An automated tool for rotational-xor cryptanalysis of arx-based primitives. in: Proceedings of the 38th Symposium on Information Theory in the Benelux, pages 59–66. Werkgemeenschap voor Information Communication theory, 2017.
5. Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, and Sebastien Tabary. An adaptive parallel sat solver. in: International Conference on Principles and Practice of Constraint Programming, pages 30–48. Springer, 2016.