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]
No reviews for this publication, yet.