Extending the Smodels System with Cardinality and Weight Constraints

This publication has 16 references indexed in Scilit:

• Answer Set Planning
  Published by Springer Nature ,1999
• Dynamic programming in Datalog with aggregates
  IEEE Transactions on Knowledge and Data Engineering, 1999
• Disjunctive datalog
  ACM Transactions on Database Systems, 1997
• Strong and weak constraints in disjunctive datalog
  Published by Springer Nature ,1997
• Look-ahead versus look-back for satisfiability problems
  Published by Springer Nature ,1997
• Hybrid knowledge bases
  IEEE Transactions on Knowledge and Data Engineering, 1996
• Experimental results on the crossover point in random 3-SAT
  Artificial Intelligence, 1996
• On the computational cost of disjunctive logic programming: Propositional case
  Annals of Mathematics and Artificial Intelligence, 1995
• Stable Semantics for Probabilistic Deductive Databases
  Information and Computation, 1994
• Constraint logic programming
  Published by Association for Computing Machinery (ACM) ,1987