The Management of Heuristic Search in Boolean Experiments with Rue Resolution.

Vincent J. Digricoli

Browse the full IJCAI paper archive.