OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
Satisfiability/Lisp/Resolution 0.0.8 (20.9.2011)
Version 0.0.9
In Satisfiability/Lisp/Resolution/plans/general.hpp the following topics are handled:
  • Write tests
  • Create milestones : DONE
In Satisfiability/Lisp/Resolution/plans/Proofs.hpp the following topics are handled:
  • php_ext_resl
  • Resolution trees
  • Resolution proofs
In Satisfiability/Lisp/Resolution/plans/Basics.hpp the following topics are handled:
  • resolvable vs resolvable_p
In Satisfiability/Lisp/Resolution/plans/Search.hpp the following topics are handled:
  • Finding short resolution proofs via SAT
Version 0.0.10
In Satisfiability/Lisp/Resolution/plans/general.hpp the following topics are handled:
Version 0.0.11
In Satisfiability/Lisp/Resolution/plans/Proofs.hpp the following topics are handled:
  • Read-once resolution proofs
In Satisfiability/Lisp/Resolution/plans/Basics.hpp the following topics are handled:
  • Renewal
  • DP
  • resolution_closure_cs
In Satisfiability/Lisp/Resolution/plans/Search.hpp the following topics are handled:
  • Finding short tree-resolution proofs
  • Regular-resolution complexity
  • How to compute the minimal DP-resolution complexity?
  • Resolution complexity
  • 2-CNF
Update the milestones.

-------------------------------------------------------------------------------------------------------------------------------------

Version history
  • 0.0.8 : 20.9.2011; several plans, min-resolution-closure and two-subsumption functionality.

Definition in file milestones.hpp.