Complete Pruning Methods and a Practical Search Strategy for SOL.

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue

Browse the full LPAR paper archive.