Andrei Voronkov's Homepage
Note that this Web page is under a re-development. I will be adding more information soon.
News
(August 2008) Vampire is winning CASC in two divisions again. Vampire has won two divisions of the world cup in theorem
proving CASC held at 4th International Joint Conference on Automated
Reasoning (IJCAR). It has won the main division of the competition FOF
(first-order formulas) and the CNF division (formulas
in conjunctive normal form.) In the CNF division
Vampire solved 93 problems out of 100 while all other
systems taken together solved 80 problems. All together
Vampire has won 17 division titles in CASC since 1999:
more than any other theorem prover.