Authors: DRIAS H BENSALMA A

Citation: H. Drias et A. Bensalma, ON THE AVERAGE NUMBER OF SOLUTIONS FOR SAT INSTANCES, Computers and artificial intelligence, 16(3), 1997, pp. 295-307