The Puzzling Role of Simplification in Propositional Satisfiability (2001)

by Inês Lynce , João Marques-Silva
Citations:3 - 0 self