JPL Technical Report Server

Variable-Selection Heuristics in Local Search for SAT

Variable-Selection Heuristics in Local Search for SAT

Fukunaga, A.
URI: http://hdl.handle.net/2014/21950
Date: 1997
Citation: Providence, Rhode Island, USA

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.

Show full item record

Items in TRS are protected by copyright, but are furnished with U.S. government purpose use rights.

Files in this item

Thumbnail
Name: 97-0380.pdf
Size: 69.08Kb
Format: PDF
View/Open

This item appears in the following Collection(s)

Search


Browse

My Account