Browsing by Subject SAT problems

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)Rank
1-Jan-2001On different models for generating random sat problemsJaničić, Predrag ; Dedić, Nenad; Terzić, Goran