Recent posts tagged learning

1
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.