Publication:5150982

zbMath1456.68060MaRDI QIDQ5150982

Zhao, Xishun, Yuping Shen

Publication date: 16 February 2021

Full work available at URL: http://eptcs.web.cse.unsw.edu.au/paper.cgi?CCA2010.17

Mathematics Subject Classification ID

68Q25: Analysis of algorithms and problem complexity

68Q60: Specification and verification (program logics, model checking, etc.)

68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)