A declarative encoding of telecommunications feature subscription in SAT

Article CLOSED
Michael Codish; Samir Genaim; Peter Stuckey;
(2009)
Share - Bookmark