HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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
Copyright © 2012-2025 easychair.org. All rights reserved.