We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4f9649c commit 8d56c12Copy full SHA for 8d56c12
1 file changed
presentation/presentation.typ
@@ -187,7 +187,6 @@ Based on @queue, uses `10SC11/FIFO-PI`:
187
188
= Reasoning Engine
189
Basic DISCOUNT loop from @braniac:
190
-+ CNF conversion
191
+ select given clause
192
+ forward simplification
193
+ forward subsumption
0 commit comments