[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
*Important*--a fully worked out example for variable elimination..
- To: Rao Kambhampati <rao@asu.edu>
- Subject: *Important*--a fully worked out example for variable elimination..
- From: Subbarao Kambhampati <rao@asu.edu>
- Date: Thu, 9 Apr 2009 13:23:51 -0700
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:date :x-google-sender-auth:message-id:subject:from:to:content-type; bh=JjNstCMZuB7N80S9nfPY5PdN7Qs3fN6sdy8iI1xHnwY=; b=rwKMdGeFJQb7BzcYCi/BfbRdFdMwjK3F38Vch/CtYk22Hb6QYcQ2UPW14hk2Ecah8G 55631nfkCQsc3CvJHXj+73FYWzf4BIqQ6j1ZL75beXz6hkZ6OMjHHaKwvLQsNK1N6ZF8 iyNwbqds8v9Q0YTH/zMfkDatP6AQB8P8LFKac=
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:date:x-google-sender-auth:message-id:subject :from:to:content-type; b=lfQa71jvovr51K6qtn4UB11D95vowz1XDITlSu+VHUU+8/H1enWZAdICWwuGitfrou xkmpe/b4KxIDHPPJP+nYYGTJeGB4vyFeHwnTOoD2TXVujHGIae99S0QzrbjvBnoTAoVR QYzo7sU6MbLfZYKXST9XExlFkX8uMVUOhluH0=
- Sender: subbarao2z2@gmail.com
Several of you have been asking questions on the details of the variable elimination.
The URL here contains a fully worked out version of the example that the text book has. See if this reduces your confusion:
http://www.cs.uiuc.edu/class/sp08/cs440/notes/varElimLec.pdf
I am also linking it from the lecture notes.
rao