On different models for generating random SAT problems

Bibliographic Details
Main Authors:	Janičić, Predrag, 1968- (Author), Dedić, Nenad, 1977- (Author), Terzić, Goran, 1977- (Author)
Format:	Article
Language:	Slovak English
Subjects:	fázové premeny články z novín a časopisov

Similar Items