Andy Grayland
Department of Computer Science
University of St Andrews
Preprints
.
Publications
Rule 1,2 Minimal Sets of Ordering Constraints for Some Families of Variable Symmetries. Proc. ISC2007.
Minimal Ordering Constraints for Some Families of Variable Symmetries. Annals of Mathematics and AI (To Appear).
Snake Lex: An Alternative to Double Lex. Proc. CP 2009 (To Appear).
Confluence of Reduction Rules for Lexicographic Ordering Constraints. Proc. SARA 2009.
Theses
.
[Home]
Last modified: 20/09/2006