OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
Experimentation/Investigations 0.3.1 (8.3.2012)
Version 0.3.2 :
In Experimentation/Investigations/plans/SATCompetition.hpp the following topics are handled:
  • Benchmarks for SAT 2012
  • Categories / "tracks" for SAT 2011
  • Add section on AES experiments to be run
Version 0.3.3 :
In Experimentation/Investigations/BooleanFunctions/plans/general.hpp the following topics are handled:
  • Add milestones
Existing milestones at all sub-levels are up-to-date.
Further milestones are created.
Version 0.3.4 :
Cryptography/AdvancedEncryptionStandard version 0.1.6
(see Cryptography/AdvancedEncryptionStandard/plans/milestones.hpp)
Cryptography/DataEncryptionStandard version 0.1.3
(see Cryptography/DataEncryptionStandard/plans/milestones.hpp)
In Experimentation/Investigations/plans/general.hpp the following topics are handled:
  • Update and completion of plans regarding SAT 2011
  • Rerun time-sensitive experiments
Version 0.3.5 :
Cryptography/AdvancedEncryptionStandard version 0.1.7
(see Cryptography/AdvancedEncryptionStandard/plans/milestones.hpp)
Cryptography/DataEncryptionStandard version 0.1.4
(see Cryptography/DataEncryptionStandard/plans/milestones.hpp)
In Experimentation/Investigations/plans/general.hpp the following topics are handled:
  • Structure
  • Experiment scripts
All submodules have milestones.
The following milestones are updated.
Version 0.3.6 :
Cryptography/AdvancedEncryptionStandard version 0.1.8
(see Cryptography/AdvancedEncryptionStandard/plans/milestones.hpp)
Cryptography/DataEncryptionStandard version 0.1.5
(see Cryptography/DataEncryptionStandard/plans/milestones.hpp)
In Experimentation/Investigations/plans/general.hpp the following topics are handled:
  • Sat-probability-approximations
  • Experimental investigations on heuristics
  • Translations from CSP to SAT
  • SplittingViaOKsolver for random clause-sets

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

Version history
  • 0.3 : 1.1.2011; initial version number (investigations into Ramsey theory, minimal unsatisfiability, representations of boolean functions for SAT and other purposes, cryptography, algebra and combinatorics, categories of clause-sets, and various SAT techniques).
  • 0.3.1 : 8.3.2012; started investigations on Cube and Conquer, pigeon-hole formulas, other hard clause-sets for resolution, latin squares, graph colouring, and further investigations into cryptography (AES, DES), boolean functions in general, QCA, minimal unsatisfiability, and Ramsey theory (van der Waerden numbers and palindromic variation, Gasarch-numbers); provided benchmarks for SAT2011 and provided tools for special investigations.

Definition in file milestones.hpp.