A Monte Carlo Algorithm for the Satisfiability Problem

H. Drias
DOI: https://doi.org/10.1007/3-540-64582-9_745
1998-06-01
Abstract:
What problem does this paper attempt to address?