No One SATPlan Encoding To Rule Them All - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tomas Balyo, Roman Barták. No One SATPlan Encoding To Rule Them All. In Levi Lelis, Roni Stern, editors, Proceedings of the Eighth Annual Symposium on Combinatorial Search, SOCS 2015, 11-13 June 2015, Ein Gedi, the Dead Sea, Israel. pages 146-150, AAAI Press, 2015. [doi]

This author has not been identified. Look up 'Tomas Balyo' in GoogleThis author has not been identified. Look up 'Roman Barták' in Google

runs on WebDSL