| Revision as of 07:07, 11 January 2005 edit206.55.81.117 (talk)No edit summary← Previous edit | Revision as of 07:41, 11 January 2005 edit undo206.55.81.117 (talk)No edit summaryNext edit → | ||
| Line 1: | Line 1: | ||
| 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 ]) | 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:41, 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 ATP System Carine)