Effective SAT Planning by Speculative Computation

• Authors:

• Hidetomo Nabeshima;Koji Iwanuma;Katsumi Inoue

• Affiliations:

• -;-;-

• Venue:
• AI '02 Proceedings of the 15th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
• Year:
• 2002