Multi-Directional Heuristic Search. - Dor Atzmon; Jiaoyang Li 001; Ariel Felner; Eliran Nachmani; Shahaf S. Shperberg; Nathan R. Sturtevant; Sven Koenig (IJCAI, 2020)

Multi-Directional Search. - Dor Atzmon; Jiaoyang Li 001; Ariel Felner; Eliran Nachmani; Shahaf S. Shperberg; Nathan R. Sturtevant; Sven Koenig (SOCS, 2020)

Constraints Specification Via Tool Support: A Controlled Experiment. - Azzam Maraee; Eliran Nachmani; Arnon Sturm (J. Object Technol., 2020)