Skip navigation
Skip navigation
A change is coming. Click to see a sneak peek of the new Open Research Repository.

Lookahead saturation with restriction for SAT

link to publisher version

  • Altmetric Citations

Anbulagan, Anbu; Slaney, John K

Description

We present; a new and more efficient heuristic by restricting lookahead saturation (LAS) with NVO (neighbourhood variable ordering) and DEW (dynamic equality weighting). We report on the integration of this heuristic in Satz, a high-performance SAT solver, showing empirically that it significantly improves the performance on an extensive range of benchmark problems that exhibit, hard structure.

dc.contributor.authorAnbulagan, Anbu
dc.contributor.authorSlaney, John K
dc.coverage.spatialSitges Spain
dc.date.accessioned2015-12-10T21:55:55Z
dc.date.available2015-12-10T21:55:55Z
dc.date.createdOctober 1-5 2005
dc.identifier.isbn9783540292388
dc.identifier.urihttp://hdl.handle.net/1885/39185
dc.description.abstractWe present; a new and more efficient heuristic by restricting lookahead saturation (LAS) with NVO (neighbourhood variable ordering) and DEW (dynamic equality weighting). We report on the integration of this heuristic in Satz, a high-performance SAT solver, showing empirically that it significantly improves the performance on an extensive range of benchmark problems that exhibit, hard structure.
dc.publisherSpringer
dc.relation.ispartofseriesInternational Conference on Principles and Practice of Constraint Programming (CP 2005)
dc.sourceProceedings of International Conference on Principles and Practice of Constraint Programming (CP 2005)
dc.subjectKeywords: Benchmarking; Dynamic programming; Function evaluation; Heuristic methods; Problem solving; Benchmark problems; Dynamic equality weighting (DEW); Lookahead saturation (LAS); Neighbourhood variable ordering (NVO); Computer programming
dc.titleLookahead saturation with restriction for SAT
dc.typeConference paper
local.description.notesImported from ARIES
local.description.refereedYes
dc.date.issued2005
local.identifier.absfor080199 - Artificial Intelligence and Image Processing not elsewhere classified
local.identifier.ariespublicationMigratedxPub173
local.type.statusPublished Version
local.contributor.affiliationAnbulagan, Anbu, College of Engineering and Computer Science, ANU
local.contributor.affiliationSlaney, John K, College of Engineering and Computer Science, ANU
local.bibliographicCitation.startpage727
local.bibliographicCitation.lastpage731
local.identifier.doi10.1007/11564751_53
dc.date.updated2015-12-09T07:33:00Z
local.identifier.scopusID2-s2.0-33646189654
CollectionsANU Research Publications

Download

There are no files associated with this item.
Show simple item record


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  17 November 2022/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator