OKlibrary  0.2.1.6
Deficiency2.hpp File Reference

Plans regarding minimally unsatisfiable clause-sets of deficiency 2. More...

Go to the source code of this file.


Detailed Description

Plans regarding minimally unsatisfiable clause-sets of deficiency 2.

Todo:
All hitting clause-sets
  • For n=2,3,4,5 the number of clause-sets in all_reps_uhitd2_fcs(n) is 1,4,15,47. It seems hard to provide a general formula?
  • While for the total numbers we get 1,50,1520, ???.

Definition in file Deficiency2.hpp.