Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
Propositional Satisfiability in Answer-Set Programming
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Hi-index | 0.00 |