Sciweavers

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

7

IJCAI
2001

favoriteEmaildiscussreport

123views Artificial Intelligence» more IJCAI 2001»

A backbone-search heuristic for efficient solving of hard 3-SAT formulae

13 years 5 months ago

A backbone-search heuristic for efficient solving of hard 3-SAT formulae

Download users.encs.concordia.ca

Of late, new insight into the study of random -SAT

Olivier Dubois, Gilles Dequen

Real-time Traffic

IJCAI 2001 | IJCAI 2007 |

claim paper

Related Content

» Hiding Satisfying Assignments Two Are Better than One

» SAT and ATPG Boolean engines for formal hardware verification

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2001
Where	IJCAI
Authors	Olivier Dubois, Gilles Dequen

Comments (0)