作者: Nathan R. Sturtevant , Ariel Felner , Roni Stern , Guni Sharon
DOI:
关键词:
摘要: … Returning to Algorithm 1, we introduce the merging action which occurs just after a new conflict was found by the validation process (C in line 10) for a given CT node. At this point MA-…