Items where Author is "Robbins, E."
Robbins, E., King, A. & Howe, J. M. 
ORCID: 0000-0001-8013-6941 (2020).
Backjumping is Exception Handling.
Theory and Practice of Logic Programming, 21(2),
pp. 125-144.
doi: 10.1017/S1471068420000435
Howe, J. M., Robbins, E. & King, A. (2017). Theory Learning with Symmetry Breaking. Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Part F, pp. 85-96. doi: 10.1145/3131851.3131861
Robbins, E., Howe, J. M. & King, A. (2015). Theory propagation and reification. Science of Computer Programming, 111(P1), pp. 3-22. doi: 10.1016/j.scico.2014.05.013
Robbins, E., Howe, J. M. & King, A. (2013). Theory propagation and rational-trees. Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013, pp. 193-204.