Items where Author is "Elgabou, Hani"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 1.
Elgabou, Hani (2015) Encoding The Lexicographic Ordering Constraint in Satisfiability Modulo Theories. MSc by research thesis, University of York.
Elgabou, Hani (2015) Encoding The Lexicographic Ordering Constraint in Satisfiability Modulo Theories. MSc by research thesis, University of York.