Ilkka Niemelä. Answer Set Programming: A Declarative Approach to Solving Challenging Search Problems. In Jaakko Astola, Radomir S. Stankovic, editors, 41st IEEE International Symposium on Multiple-Valued Logic, ISMVL 2011, Tuusula, Finland, May 23-25, 2011. pages 139-141, IEEE, 2011. [doi]
Abstract is missing.