Sur le probl`eme de satisfiabilit'e (1991)

by O Dubois, J Carlier
Venue:Communication at the Barbizon Workshop on SAT