2000 character limit reached
A Polynomial Time Algorithm for 3-SAT
Published 4 Jan 2007 in cs.CC, cs.DM, cs.DS, and cs.LO | (0701023v4)
Abstract: Article describes a class of efficient algorithms for 3SAT and their generalizations on SAT.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.