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

Affan Rauf, Muhammad Nawaz, Junaid Haroon Siddiqui (2018)
maintained by Schloss Dagstuhl LZI, founded at University of Trier