EasyChair Smart SlideDocs/Log in
Title:AVATAR
Authors:Andrei Voronkov
Tags:AVATAR, Clause splitting, First-order logic, First-order reasoning, Saturation algorithms, SMT, SMT solving, Splitting, Theorem proving and Vampire
Abstract:

In this talk we overview the AVATAR architecture for saturation-based theorem provers.

This invited talk was presented at the Special Session on the Past, Present and Future of Automated Deduction at the International Conference on Automated Deduction (CADE-25).

 
AVATAR
 
1
4
7
10
13
16
19
22
25
28
31
34
37
40
43
46
49
52
55
58
61
64
67
70
73
76
79
82
85
88
91
94
97
100
102
1of102
1
2
3
4
Copyright © 2002 – 2024 EasyChair