Introducing fuzzy default logic into WalkSAT algorithm

The paper presents an approach to Boolean satisfiability checking. The work is based on fuzzy default logic (FDL) introduced by one of the authors on HIS´09 conference. The starting point of the presented approach is WalkSAT algorithm. Authors discuss heuristic variable flipping techniques that employ commonsense reasoning methodology (FDL) and searching space pruning techniques implemented in the FUDASAT algorithm. The new algorithm called JumpSAT is presented on the examples. The paper shows interesting results of some experiments that shows effectiveness of the new proposed technique in comparison to the FUDASAT approach.