Asynchronous backtracking without adding links: a new member in the ABT family (0)

by Christian Bessiere, Arnold Maestre, Ismel Brito, Pedro Meseguer
Venue:Artif. Intel