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

This is the paper on Model-checking vs. Theorem Proving

To: cse574-s03@parichaalak.eas.asu.edu
Subject: This is the paper on Model-checking vs. Theorem Proving
From: Subbarao Kambhampati <rao@asu.edu>
Date: Thu, 03 Apr 2003 17:36:47 -0700

http://citeseer.nj.nec.com/context/39962/0

You will note that Bacchus & Ady paper is listed as one that cites this paper.

Prev by Date: Required reading for next class: Sec 4 and 5 of Sapa paper
Next by Date: Re: a doubt
Previous by thread: Required reading for next class: Sec 4 and 5 of Sapa paper
Next by thread: Added slides on class discussion
Index(es):
- Date
- Thread