Proofs, Interpolants, and Relevance Heuristics.

Kenneth L. McMillan

Published in: Haifa Verification Conference (2008)

Keyphrases

relevance feedback
information retrieval
search algorithm
formal proofs
case study
test collection
ranked list
relevance model
heuristic search
highly relevant
greedy heuristic
formal proof
greedy heuristics
equational theories
mathematical proofs