Search alternatives:
"like resolution" » "time resolution", "fine resolution", "name resolution"
Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “...The Query Complexity of Program Checking by Constant-Depth Circuits -- Tree-Like Resolution...”
Cover Image
Read Now

2
Published 2007
Springer Berlin Heidelberg
Table of Contents: “... Bounds for Tree-Like Resolution over Linear Inequalities -- Horn Upper Bounds and Renaming -- Matched...”