The Conflict Detection and Resolution Problem for Air Traffic Flow Management consists of deciding the best strategy for airborne aircraft so that there is guarantee that no conflict takes place, i.e., all aircraft maintain the minimum safety distance at every time instant. Two integer linear...

Many rule systems generated from decision trees (like CART, ID3, C4.5, etc.) or from direct counting frequency methods (like Apriori) are usually non-significant or even contradictory. Nevertheless, most papers on this subject demonstrate that important reductions can be made to generate rule...