Search Sciweavers | Sciweavers

470 search results - page 41 / 94

» Tabu Search for SAT

142

click to vote

JAR
2000

90views more JAR 2000»

Resolution versus Search: Two Strategies for SAT

15 years 5 months ago

Download www.ics.uci.edu

The paper compares two popular strategies for solving propositional satis ability, backtracking search and resolution, and analyzes the complexity of a directional resolution algo...

Irina Rish, Rina Dechter

claim paper

Read More »

102

Voted

ICCAD
2006
IEEE

100views Hardware» more ICCAD 2006»

Solving the minimum-cost satisfiability problem using SAT based branch-and-bound search

15 years 11 months ago

Download www.cecs.uci.edu

Zhaohui Fu, Sharad Malik

claim paper

Read More »

click to vote

DATE
2005
IEEE

115views Hardware» more DATE 2005»

An Efficient Sequential SAT Solver With Improved Search Strategies

15 years 11 months ago

Download www.date-conference.com

Feng Lu, Madhu K. Iyer, Ganapathy Parthasarathy, L...

claim paper

Read More »

109

click to vote

AUSAI
2003
Springer

84views Artificial Intelligence» more AUSAI 2003»

Estimating Problem Metrics for SAT Clause Weighting Local Search

15 years 11 months ago

Download www.int.gu.edu.au

Wayne J. Pullan, Liang Zhao, John Thornton

claim paper

Read More »

click to vote

ECAI
2000
Springer

79views Artificial Intelligence» more ECAI 2000»

Local Search on Random 2+p-SAT

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers