Browsing by Subject Data structures

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)Rank
1-Jun-2009Formalization and implementation of modern SAT solversMarić, Filip