989 search results - page 19 / 198 » Pebbling and Proofs of Work |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Recent work of [Dasgupta-Kumar-Sarl
AAAI
2010
13 years 9 months ago
2010
The depth first proof number search (df-pn) is an effective and popular algorithm for solving and-or tree problems by using proof and disproof numbers. This paper presents a simpl...
IMAGING
2004
13 years 9 months ago
2004
A display tool has been developed to perform simulation and three-dimensional rendering of prints in the quest towards achieving improved soft proofing capabilities. It was desire...
CSL
2002
Springer
13 years 8 months ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...
ICLP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...