in THEORY AND PRACTICE OF LOGIC PROGRAMMING, ISSN: 1471-0684
Volume: 17, Issue: 5-6, Pages: 837-854 (18)
Conference
33Rd International Conference on Logic Programming Colocated with the 23Rd International Conference on Principles and Practice of Constraint Programming / 20Th International Conference on Theory and Applications of Satisfiability Testing, Date: AUG 28-SEP 01, 2017, Location: Melbourne, AUSTRALIA, Sponsors: Assoc Log Programming, Assoc Constraint Programming, Monash Univ, Univ Melbourne, CSIRO Data61, COSYTEC, Satalia, Google