Find link

language:

Find link is a tool written by Edward Betts.

searching for Combinatorial explosion 10 found (65 total)

Resolution (logic) (4,063 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,252 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,577 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,054 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 (15,567 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,841 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

List of fictional non-binary characters (8,770 words) [view diff] case mismatch in snippet view article find links to article

Deirdra. "Dominique Pamplemousse & Dominique Pamplemousse in "Combinatorial Explosion!"". itch.io. "Tf_english.txt". Retrieved 2025-03-16.{{cite web}}:

High-entropy alloy (12,482 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