On Truth-Table Reducibility to SAT (2002)

by Samuel Buss , Louise Hay
Citations:50 - 2 self