Recent posts tagged learning

3,469
3,469 views
Consider the decision problem $2CNFSAT$ defined as follows:$$\left\{ \phi \mid \phi \text{ is a satisfiable propositional formula in CNF with at most two literals per cla...
To see more, click for the full list of questions or popular tags.