A declarative encoding of telecommunications feature subscription in SAT

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