OKlibrary  0.2.1.6
FundamentsBranchingHeuristics.dem File Reference

Accompanying OK's SAT-handbook article [Fundaments of Branching Heuristics; Oliver Kullmann 2009]. More...

Go to the source code of this file.


Detailed Description

Accompanying OK's SAT-handbook article [Fundaments of Branching Heuristics; Oliver Kullmann 2009].

Use by

oklib_demo("OKlib/ComputerAlgebra/Satisfiability/Lisp/demos/FundamentsBranchingHeuristics.mac"); or oklib_batch("OKlib/ComputerAlgebra/Satisfiability/Lisp/demos/FundamentsBranchingHeuristics.mac"); or oklib_load("OKlib/ComputerAlgebra/Satisfiability/Lisp/demos/FundamentsBranchingHeuristics.mac");

Definition in file FundamentsBranchingHeuristics.dem.