Misplaced Pages

Delayed clause construction: Difference between revisions

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.
Browse history interactively← Previous editNext edit →Content deleted Content addedVisualWikitext
Revision as of 06:14, 9 December 2004 edit206.55.81.117 (talk)No edit summary← Previous edit Revision as of 07:07, 11 January 2005 edit undo206.55.81.117 (talk)No edit summaryNext edit →
Line 1: Line 1:
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 ]) 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 ])

Revision as of 07:07, 11 January 2005

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 Carine ATP System)