NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Variable-Selection Heuristics in Local Search for SATOne 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.
Document ID
20060041703
Acquisition Source
Jet Propulsion Laboratory
Document Type
Preprint (Draft being sent to journal)
External Source(s)
hdl:2014/21950
Authors
Fukunaga, A.
Date Acquired
August 23, 2013
Publication Date
January 1, 1997
Distribution Limits
Public
Copyright
Other
Keywords
variable selection

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available