The following pages link to (Q2955039):
Displaying 6 items.
- Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016 (Q2827479) (← links)
- Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6--10, 2011 (Q2880722) (← links)
- Clingo goes linear constraints over reals and integers (Q4592712) (← links)
- <i>Clingcon</i>: The next generation (Q4593092) (← links)
- (Q4626431) (← links)
- Proceedings 37th International Conference on Logic Programming (Technical Communications) (Q5082015) (← links)