A declarative encoding of telecommunications feature subscription in SAT.

Michael Codish, Samir Genaim, Peter J. Stuckey

Browse the full PPDP paper archive.