Browsing by Subject Encoding CSP to SAT

Showing results 1 to 1 of 1
Issue DateTitleAuthor(s)Rank
1-Jan-2014MeSAT: Multiple encodings of CSP to SATStojadinović, Mirko; Marić, Filip