Permalink
Browse files

6.3

  • Loading branch information...
1 parent e595aeb commit 42018a8d3178556f8f9020212ac8f56db4f65bd0 @tianyicui committed Dec 17, 2011
Showing with 20 additions and 0 deletions.
  1. +20 −0 EOTTOC.lyx
  2. BIN EOTTOC.pdf
View
@@ -3464,5 +3464,25 @@ Equvalence of Finite Automata: Equivalence of deterministic finite automata
).
\end_layout
+\begin_layout Section
+Boolean Satisfiability
+\end_layout
+
+\begin_layout Standard
+Problem Satisfiability: Given a Boolean formula
+\begin_inset Formula $F$
+\end_inset
+
+ in conjunctive normal form, is it satisfiable?
+\end_layout
+
+\begin_layout Standard
+2-Satisfiability is in
+\begin_inset Formula $\mathcal{P}$
+\end_inset
+
+.
+\end_layout
+
\end_body
\end_document
View
Binary file not shown.

0 comments on commit 42018a8

Please sign in to comment.