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 07:41, 11 January 2005. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Revision as of 07:41, 11 January 2005 by 206.55.81.117 (talk)(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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