[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

A link to an overview paper on many improvements to DPLL algorithm

To: cse471-f03@parichaalak.eas.asu.edu
Subject: A link to an overview paper on many improvements to DPLL algorithm
From: Subbarao Kambhampati <rao@asu.edu>
Date: Thu, 16 Oct 2003 14:31:15 -0700

This makes more sense after today's class

http://www.ee.princeton.edu/~chaff/publication/cade_cav_2002.pdf

Rao

Prev by Date: Recitation session (Friday, Oct 17, 6:00 PM, GWC 308)
Next by Date: Competitions for best SAT solvers (and planners etc. )
Previous by thread: Recitation session (Friday, Oct 17, 6:00 PM, GWC 308)
Next by thread: Competitions for best SAT solvers (and planners etc. )
Index(es):
- Date
- Thread