Some 3CNF Properties Are Hard to Test

Published: 01 Jan 2005, Last Modified: 15 May 2025SIAM J. Comput. 2005EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading