Search for tag: "unsatisfiability"

14.b

This is the second part of the second Inf2d lecture on Resolution.

From  Claudia-Elena Chirita 0 likes 159 plays 0