EX6 Q4b
http://tau-cm2014.wikidot.com/forum/t-871793/ex6-q4b
Posts in the discussion thread "EX6 Q4b"Mon, 23 Sep 2019 12:16:32 +0000http://tau-cm2014.wikidot.com/forum/t-871793#post-2048169Re: EX6 Q4b
http://tau-cm2014.wikidot.com/forum/t-871793/ex6-q4b#post-2048169
Sun, 08 Jun 2014 19:02:20 +0000marianos716120
the question given a formula is whether there exists a satisfying assignment in which exactly 10 of the variables are assigned True
]]>
http://tau-cm2014.wikidot.com/forum/t-871793#post-2048156EX6 Q4b
http://tau-cm2014.wikidot.com/forum/t-871793/ex6-q4b#post-2048156
Sun, 08 Jun 2014 18:45:04 +0000Nitzan
Can someone reformulate the question? It is very unclear what does it mean exactly 10 variables. Only $\psi$s that accept 10 variables? Fixing 10 variables that should make it a tautology for the others? etc. Thanks
]]>