Extending the Smodels system with cardinality and weight constraints

摘要: The Smodels system is one of the state-of-the-art implementations stable model computation for normal logic programs. In order to enable more realistic applications, basic modeling language programs has been extended with new constructs including cardinality and weight constraints corresponding implementation techniques have developed. This paper summarizes extensions that included in system, demonstrates their use, provides application methodology, illustrates current level performance compares it satisfiability checkers.