Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description)
Author: Martin Suda
Paper Information
| Title: | Vampire Getting Noisy: Will Random Bits Help Conquer Chaos? (System Description) |
| Authors: | Martin Suda |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | saturation-based theorem proving, evaluation, randomization |
| Pages: | 9 |
| Talk: | Aug 09 14:20 (Session 104D: Proof Search and Generalizations) |
| Paper: |  |