Search for tag: "unsatisfiability"

14.b

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

From  Claudia-Elena Chirita on February 8th, 2021 0 likes 129 plays 0