A polynomial-time algorithm for reducing the number of variables in MAX SAT problem
Shaohan Ma, Dongmin LiangVolume:
40
Language:
english
Pages:
11
DOI:
10.1007/bf02916605
Date:
June, 1997
File:
PDF, 570 KB
english, 1997