Dealing with incomplete knowledge on CLP(FD) variable domains
ACM Transactions on Programming Languages and Systems (TOPLAS)
A CHR-based implementation of known arc-consistency
Theory and Practice of Logic Programming
A 25-year perspective on logic programming
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
Hi-index | 0.00 |