A declarative encoding of telecommunications feature subscription in SAT.

Michael Codish Samir Genaim Peter J. Stuckey A declarative encoding of telecommunications feature subscription in SAT. 255-266 2009 PPDP http://doi.acm.org/10.1145/1599410.1599442 conf/ppdp/2009 db/conf/ppdp/ppdp2009.html#CodishGS09