Metaheuristic Algorithms for Proof Searching in HOL4.

M. Saqib Nawaz, Muhammad Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger

Browse the full SEKE paper archive.