That is, we generate equations using all ILP constraints, and score trees solely on information provided by the global model: No Global Model: Here, we test our method without the global information (Section 7.2).
we generate equations using only the hard constraints of ILP and score trees solely on information provided by the local model: No Qset Reordering: We test our method without the deterministic Qset reordering rules outlined in Section 5.