Keyword:Strategy Scheduling

Papers
A Higher-Order Vampire (Short Paper) Ahmed Bhayat and Martin Suda EasyChair Preprint no. 13125