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 155 plays 0