Computing stable models in parallel

Raphael A. Finkel, Victor W. Marek, Neil Moore, Miroslaw Truszczynski. Computing stable models in parallel. In Alessandro Provetti, Tran Cao Son, editors, Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP 01 Workshop, Stanford, March 26-28, 2001. 2001. [doi]

Authors

Raphael A. Finkel

This author has not been identified. Look up 'Raphael A. Finkel' in Google

Victor W. Marek

This author has not been identified. Look up 'Victor W. Marek' in Google

Neil Moore

This author has not been identified. Look up 'Neil Moore' in Google

Miroslaw Truszczynski

This author has not been identified. Look up 'Miroslaw Truszczynski' in Google