eBook
Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving
| Title: | Heterogeneous Heuristic Optimisation and Scheduling for First-Order Theorem Proving |
|---|---|
| Authors: | Holden, Edvard K.Aff10, Korovin, KonstantinAff10 |
| Contributors: | Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Woeginger, Gerhard, Editorial Board MemberAff6, Yung, Moti, Editorial Board MemberAff7, Kamareddine, Fairouz, editorAff8, Sacerdoti Coen, Claudio, editorAff9 |
| Source: | Intelligent Computer Mathematics : 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings. 12833:107-123 |
| Database: | Springer Nature eBooks |
| ISBN: | 9783030810962 9783030810979 |
|---|---|
| DOI: | 10.1007/978-3-030-81097-9_8 |