"A declarative encoding of telecommunications feature subscription in SAT."

Michael Codish, Samir Genaim, Peter J. Stuckey (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics