Splitting Without Backtracking

Alexandre Riazanov, Andrei Voronkov. Splitting Without Backtracking. In Bernhard Nebel, editor, Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, IJCAI 2001, Seattle, Washington, USA, August 4-10, 2001. pages 611-617, Morgan Kaufmann, 2001.

Authors

Alexandre Riazanov

This author has not been identified. Look up 'Alexandre Riazanov' in Google

Andrei Voronkov

Identified as Andrei Voronkov