JPL Technical Report Server

Variable-Selection Heuristics in Local Search for SAT

Show simple item record

dc.contributor.author Fukunaga, A. en_US
dc.date.accessioned 2004-09-26
dc.date.available 2004-09-26
dc.date.issued 1997
dc.identifier.citation Providence, Rhode Island, USA en_US
dc.identifier.clearanceno 97-0380
dc.identifier.uri http://hdl.handle.net/2014/21950
dc.description.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. en_US
dc.format.extent 70743 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other variable selection en_US
dc.title Variable-Selection Heuristics in Local Search for SAT en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account