Nr. 18 (2004): RS-18 An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter

Publiceret: 2004-01-18

Artikler