| Revision as of 06:12, 9 December 2004 edit206.55.81.117 (talk)No edit summary | Revision as of 06:14, 9 December 2004 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. | 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 ]) | ||
Revision as of 06:14, 9 December 2004
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)