Authors: J.Gu

Citation: J.gu, Efficient local search for very large-scale satisfiability problem, SIGART bulletin , 3(1), 1992, pp. 8-12