Answer Set Programming and Bounded Model Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Keijo Heljanko, Ilkka Niemelä. Answer Set Programming and Bounded Model Checking. 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]

This author has not been identified. Look up 'Keijo Heljanko' in GoogleThis author has not been identified. Look up 'Ilkka Niemelä' in Google

runs on WebDSL