[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Next (mini)Topic: CSP and SAT
- To: Rao Kambhampati <rao@asu.edu>
- Subject: Next (mini)Topic: CSP and SAT
- From: Subbarao Kambhampati <rao@asu.edu>
- Date: Mon, 22 Oct 2012 13:00:13 -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=fWZS2hTeO8XDwYrGrDdfWfzD/nfEikEqGoRAMna2z9g=; b=AegJCQa4l7NTpyIXq9KBqjEJjTWWpAWzHtaxugL4OfWl4jMf4Qj03UHTiAkNGisd3r S77Z36KhsSbDNPCN6/O0GXgJFJTzXxBPds34D+QwyUspGeHauIwlAdMmQOPHtRC/6GWU XNP5gAVs/MGRLO1QCwPP0UcAhbKQt3f4KOe1uzAnosbL2VHPO3HCfA/dNprNmoHVCFp5 EsoKuu9nLCIze3NIdb4y563Xzsu80LLItlURGE3+1iSMNFzaimxst4I/nS+E5sVSWpJ0 uvHZ0EmfUvyLLQBGwizK2xObajb4900a+4G8qPvPiaGazg7J448/caHe/Jeu/jrjOFCV PTdQ==
- Sender: subbarao2z2@gmail.com
Folks
The next topic we will do is Constraint Satisfaction and SAT problems. I know CSP is generally done in intro to AI, but I didn't do it last time I taught and it would be useful to have
the background on CSP/SAT to understand the modern automated reasoning algorithms.
The relevant readings from R&N are chapter 6 and Section 7.6
Rao
ps: I am running a bit late and may not be at my office hours before 1:30om. If you are showing up, call 965-0113 first