8 citations · 9 across the 5 of their papers we have counts for
1 paper · 2 filters
Ahmed Bhayat, Martin Suda
The support for higher-order reasoning in the Vampire theorem prover has recently been completely reworked. This rework consists of new theoretical ideas, a new implementation, and…