A Geometric Combinatorial Satisfiability Approach to Automating Free Flight in the Airspace - James Herriot (2023)