On Truth-Table Reducibility to SAT (2002)

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