Publication | Closed Access

Comparing the performance of the genetic and local search algorithms for solving the satisfiability problems

Local SearchEngineeringLocal Search (Optimization)Automated ReasoningLocal Search AlgorithmsSatisfiability ProblemsVerificationSat SolvingFormal MethodsGenetic AlgorithmComputational ComplexityComputer ScienceComputational ProblemCombinatorial OptimizationSatisfiabilityFormal Verification