Readings for Wednesday's class

To: Rao Kambhampati <rao@asu.edu>
Subject: Readings for Wednesday's class
From: Subbarao Kambhampati <rao@asu.edu>
Date: Tue, 30 Oct 2012 08:39:31 -0700
Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:sender:from:date:x-google-sender-auth:message-id :subject:to:content-type; bh=tvzond+Z/dM2zfo1gOxrcTRfDNTJ7gD5ZGGFJN2SqZs=; b=ETOkZAYDtS14p7KDNxGMXUucdQAqDQRBPXOMqhUEw+xC9G2XfFQRLUwZHWpHB/nkIf eogIfNlA38vBnpZZ1OBg4yxoZEq9bgsVnRr4Tol/7P24dZxuibY45TTsUnQTJ0ehjYyy dsjxRrzLCWqkeoB5awcwon8Zil0fZUeY987/3gXEOPQLTm1zBunsUX5qjTwEjS/Xjdxo GagF4dHVkMyCTcjahdSyPt85aVUDi6PkGQBA/UVNnk5E13Uyrih8xLOStogU6qG9MwrS 4UtQw0oW2K0E0K33wYnTZqVfLZjp0Z0JA1JXeKGN0OQjFhxaBDUqdUXxV4RpTqll1gmH ekmg==
Sender: subbarao2z2@gmail.com

The discussion tomorrow on compiling planning into SAT will be based on:

Sec 10.4.1 in R&N (very short)

and

Rao