Find link

language:

Find link is a tool written by Edward Betts.

searching for Combinatorial explosion 9 found (63 total)

Resolution (logic) (4,066 words) [view diff] exact match in snippet view article

trying all ground instances of the given formula. This source of combinatorial explosion was eliminated in 1965 by John Alan Robinson's syntactical unification

OpenCog (1,250 words) [view diff] exact match in snippet view article find links to article

economic theory, termed ECAN. This subsystem is used to control the combinatorial explosion of search possibilities that are met during inference and chaining

Matched molecular pair analysis (1,417 words) [view diff] exact match in snippet view article find links to article

more atoms in the variable part of the molecule also leads to combinatorial explosion problems. To deal with this, the number of breakable bonds and

Answer set programming (2,839 words) [view diff] exact match in snippet view article find links to article

Lparse or gringo as a front end. The need for grounding can cause a combinatorial explosion of clauses; thus, systems that perform on-the-fly grounding might

Bernstein–Sato polynomial (1,562 words) [view diff] exact match in snippet view article find links to article

far proved prohibitively cumbersome. Devising ways to bypass the combinatorial explosion of the brute force algorithm would be of great value in such applications

AltaRica (3,059 words) [view diff] exact match in snippet view article find links to article

studies, the behavior of systems must be abstracted out to avoid the combinatorial explosion of situations to look at. Flows are thus typically abstracted as

RISC-V (13,555 words) [view diff] exact match in snippet view article find links to article

required for an application, but the same flexibility also leads to a combinatorial explosion in possible ISA choices. Profiles specify a much smaller common

Symbolic artificial intelligence (10,776 words) [view diff] exact match in snippet view article find links to article

toy problems could never scale to real-world applications due to combinatorial explosion. As limitations with weak, domain-independent methods became more

High-entropy alloy (12,319 words) [view diff] exact match in snippet view article find links to article

targeted applications. The use of modeling techniques in this 'combinatorial explosion' is necessary for targeted and rapid HEA discovery and application