The following pages link to (Q4626431):
Displaying 6 items.
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6--10, 2011 (Q2880722) (← links)
- (Q2955039) (← links)
- Proceedings 37th International Conference on Logic Programming (Technical Communications) (Q5082015) (← links)
- How fast can we play Tetris greedily with rectangular pieces? (Q6149495) (← links)
- Logic programming (Q6602251) (← links)