Title of article :
Factorization as a SAT problem
Author/Authors :
Kloock، نويسنده , , M.، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Journal title :
Electronic Notes in Discrete Mathematics
Journal title :
Electronic Notes in Discrete Mathematics