Finding Optimal Solutions in HTN Planning - A SAT-based Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gregor Behnke, Daniel Höller, Susanne Biundo. Finding Optimal Solutions in HTN Planning - A SAT-based Approach. In Sarit Kraus, editor, Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019. pages 5500-5508, ijcai.org, 2019. [doi]

This author has not been identified. Look up 'Gregor Behnke' in GoogleThis author has not been identified. Look up 'Daniel Höller' in GoogleThis author has not been identified. Look up 'Susanne Biundo' in Google

runs on WebDSL