Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

DATE
2005
IEEE

favoriteEmaildiscussreport

115views Hardware» more DATE 2005»

An Efficient Sequential SAT Solver With Improved Search Strategies

14 years 1 days ago

An Efficient Sequential SAT Solver With Improved Search Strategies

Download www.date-conference.com

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

Real-time Traffic

DATE 2005 | Hardware |

claim paper

Related Content

» Chaff Engineering an Efficient SAT Solver

» Strategies for Solving SAT in Grids by Randomized Search

» MaxSolver An efficient exact algorithm for weighted maximum satisfiability

» A Novel SAT AllSolutions Solver for Efficient Preimage Computation

» Conflict driven learning in a quantified Boolean Satisfiability solver

» Utilizing dont care states in SATbased bounded sequential problems

» JustificationBased NonClausal Local Search for SAT

» A Comparative Study of 2QBF Algorithms

» Heuristics for Planning with SAT

Post Info
More Details (n/a)

Added	24 Jun 2010
Updated	24 Jun 2010
Type	Conference
Year	2005
Where	DATE
Authors	Feng Lu, Madhu K. Iyer, Ganapathy Parthasarathy, Li-C. Wang, Kwang-Ting Cheng, Kuang-Chien Chen

Comments (0)