OKlibrary  0.2.1.6
ResolutionReductions.mac File Reference

Special cases of applications of resolutions which yield reductions. More...

Go to the source code of this file.


Detailed Description

Special cases of applications of resolutions which yield reductions.

Use by

oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/Reductions/ResolutionReductions.mac");

Definition in file ResolutionReductions.mac.