Exercise 6, Question 1(f)
Forum » Discussions / Q&A Spring 2012 » Exercise 6, Question 1(f)
Started by: Matan (guest)
Date: 14 Jul 2012 14:45
Number of posts: 2
rss icon RSS: New posts
Input: a 3CNF formula fi . Question: does there exist an assignment that satis fies fi and gives True for exactly 10 variables?
New Post
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License