1. Efficient Lifting of Symmetry Breaking Constraints for Complex Combinatorial Problems. Issue 4 (30th July 2022) Authors: TARZARIOL, ALICE; SCHEKOTIHIN, KONSTANTIN; GEBSER, MARTIN; LAW, MARK Journal: Theory and practice of logic programming Issue: Volume 22:Issue 4(2022) Page Start: 606 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗