Misplaced Pages

Delayed clause construction

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

This is an old revision of this page, as edited by 206.55.81.117 (talk) at 06:14, 9 December 2004. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 06:14, 9 December 2004 by 206.55.81.117 (talk)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

Delayed clause construction is a stalling strategy that enhances a theorem prover's performance by reducing the work to construct clauses to a minimum. (See Carine ATP System)