1956 is all over again: Automatic SAT-Compilation of Planning Problems

From: Andrei Alexandrescu (andrei_at_metalanguage.com)
Date: Wed Nov 05 2003 - 13:00:51 PST

• Previous message: Bhushan Mandhani: "Automatic SAT-compilation review"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

• text/plain attachment: review.txt

• Previous message: Bhushan Mandhani: "Automatic SAT-compilation review"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]

This archive was generated by hypermail 2.1.6 : Wed Nov 05 2003 - 13:00:19 PST