On State-Dominance Criteria in Fork-Decoupled Search. - Álvaro Torralba; Daniel Gnad 001; Patrick Dubbert; Jörg Hoffmann 001 (IJCAI, 2016)

Star-Topology Decoupling in SPIN. - Daniel Gnad 001; Patrick Dubbert; Alberto Lluch-Lafuente; Jörg Hoffmann 001 (SPIN, 2018)