Comment by kizer

Is it usually linear to reduce other NP-complete problems to SAT?