JPL Technical Report Server
Variable-Selection Heuristics in Local Search for SAT
Login
JPL TRS Home
→
JPL Technical Report Server
→
JPL TRS 1992+
→
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
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
Name:
97-0380.pdf
Size:
69.08Kb
Format:
PDF
View/
Open
This item appears in the following Collection(s)
JPL TRS 1992+
JPL TRS 1992+
Search
Search
This Collection
Browse
All Content
Communities & Collections
By Issue Date
Authors
Titles
Subjects
This Collection
By Issue Date
Authors
Titles
Subjects
My Account
Login
Register