E. Goldberg.

E. Goldberg.

E. Goldberg.

E. Goldberg.

E. Goldberg.

E. Goldberg.

E.Goldberg.

E.Goldberg.

E.Goldberg.

E.Goldberg, P.Manolios.

E.Goldberg, P.Manolios.

E.Goldberg, P.Manolios.

E.Goldberg, M.Jain, P.Manolios.

E.Goldberg, P.Manolios.

E.Goldberg, P.Manolios.

E.Goldberg, P.Manolios.

E.Goldberg, P.Manolios.

E.Goldberg, P.Manolios.

E.Goldberg.

E.Goldberg.

E.Goldberg.

E.Goldberg,K.Gulati,S.Khatri.

E.Goldberg.

E.Goldberg.

E.Goldberg.

E.Goldberg.

The technical report above replaces the previous report on "Determinization of resolution by an algorithm operating on complete assignments". The new report contains one more table of results and proves that the set of points visited byE.Goldberg,Y.Novikov.FIis actually a point image of the resolution proofFIbuilds. Note that I use a new definition of the point image that is slightly different from one used in the SAT-2006 paper and in the previous report mentioned above.

Although the preamble of the paper above says that it was submitted in 2006, in reality it had been in the pipeline of DAM for three years since 2003. This paper is different from our DATE-2002 submission in that * every feature * of BerkMin is justified experimentally. So you may still find it interesting. I am not allowed to have this paper accessible through my webpage. But I can send it to you by email.

The slides of 3 lectures I gave at the workshop "Algorithms for the SAT-Problem". Humboldt University, Berlin, October 27-29, 2006.First lecture.Gives some introduction to SAT and some basic knowledge about resolution proof system. Describes DP and DPLL procedures.Second lecture.Describes the interiors of modern resolution based SAT-solvers.Third lecture.Introduces formulas with short resolution proofs that can not be found efficiently. Describes testing satisfiability by computing a stable set of points/clusters.

E.Goldberg.

E.Goldberg,K.Gulati.

Powerpoint slides of my SAT-2006 talk (short version).

Powerpoint slides of my SAT-2006 talk (long version with experimental results).

E.Goldberg.

E.Goldberg.

Powerpoint slides of my SAT-2005 talk.

E.Goldberg.

E.Goldberg.

E.Goldberg.

E.Goldberg.

E.Goldberg.

Powerpoint slides of my IWLS-2004 talk.

E.Goldberg, Y.Novikov.

E.Goldberg, Y. Novikov.

E.Goldberg, Y.Novikov.

E.Goldberg, Y.Novikov.

E.Goldberg.

E. Goldberg.

Novikov Y., Goldberg E.

Goldberg E.

Goldberg E.I., Kukimoto K., Brayton R.K.

Goldberg, E.I., Villa T., Brayton R.K., Sangiovanni-Vincentelli A.L.

Goldberg, E.I., Carloni L.P., Villa T., Brayton R.K.