www.cs.rice.edu

Recent paper on the hardness of random formulas for SAT solver; bounded tree-width.

URLs from www.cs.rice.edu:

URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/412.html URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/904.html URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/677.html URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/906.html URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/706.html URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/1573.html URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/1249.html URL: http://www.cs.rice.edu/Conferences/HotOS URL: http://www.cs.rice.edu/FORTE02 URL: http://www.cs.rice.edu/~vardi URL: http://www.cs.rice.edu/~dsystem URL: http://www.cs.rice.edu/CS/PLT/Publications/Scheme URL: http://www.cs.rice.edu/~keith/512/2009Lectures/21PL8.pdf URL: http://www.cs.rice.edu/~dwallach/dilbert URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/1502.html URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/983.html URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/609.html URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/357.html URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/17.html URL: http://www.cs.rice.edu/~ssiyer/minstrels/poems/504.html

© searchids.com