"Efficient iterative deepening for bounded exhaustive generation of complex ..."

Affan Rauf, Muhammad Nawaz, Junaid Haroon Siddiqui (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics