M. Saqib Nawaz, M. Zohaib Nawaz, Osman Hasan, Philippe Fournier-Viger, Meng Sun 0002. An evolutionary/heuristic-based proof searching framework for interactive theorem prover. Appl. Soft Comput., 104:107200, 2021. [doi]
@article{NawazNHFS21-0, title = {An evolutionary/heuristic-based proof searching framework for interactive theorem prover}, author = {M. Saqib Nawaz and M. Zohaib Nawaz and Osman Hasan and Philippe Fournier-Viger and Meng Sun 0002}, year = {2021}, doi = {10.1016/j.asoc.2021.107200}, url = {https://doi.org/10.1016/j.asoc.2021.107200}, researchr = {https://researchr.org/publication/NawazNHFS21-0}, cites = {0}, citedby = {0}, journal = {Appl. Soft Comput.}, volume = {104}, pages = {107200}, }