OKlibrary  0.2.1.6
TableauAlgorithm.hpp File Reference

Plans regarding exploitation of tableau algorithms for finding autarkies. More...

Go to the source code of this file.


Detailed Description

Plans regarding exploitation of tableau algorithms for finding autarkies.

Todo:
find_aut_tableau_cl
  • Currently, this algorithm realises only the obvious variables not usable in an autarky.
  • While all variables involved in the refutation found can be used.
  • So a stronger version of find_aut_cl_tableau_cl is needed.
  • A question is whether this just improves find_aut_cl_tableau_cl, or whether this makes find_aut_cl_tableau_cl so complicated, that we better have two versions.

Definition in file TableauAlgorithm.hpp.