Keyword:Strategy Scheduling

Publications
Prover9 Unleashed: Automated Configuration for Enhanced Proof Discovery Kristina Aleksandrova, Jan Jakubuv and Cezary Kaliszyk In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
A Higher-Order Vampire (Short Paper) Ahmed Bhayat and Martin Suda EasyChair Preprint 13125