NASA NTRS · 20060041703
Variable-Selection Heuristics in Local Search for SAT
Abstract
One of the important components of a local search strategy for satisfiability testing is the variable selection heuristic, which determines the next variable to be flipped.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Fukunaga, A.. 1997-01-01. Variable-Selection Heuristics in Local Search for SAT. https://ntrs.nasa.gov/citations/20060041703
Cite the original work for its findings. Save a collection to share your selection of sources.