"SDSAT: Tight Integration of Small Domain Encoding and ..."

Malay K. Ganai, Muralidhar Talupur, Aarti Gupta (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics