Easily refutable subformulas of large random 3CNF formulasOpen Website

Published: 01 Jan 2007, Last Modified: 12 May 2023Theory Comput. 2007Readers: Everyone
0 Replies

Loading