scientific article; zbMATH DE number 4166938

MaRDI QIDQ3493326zbMATH OpenFDO

Authors Simon Kasif

Publication date 1989

zbMATH Keywords

knowledge basesknowledge representationparallel computationparallel matchingparallel search strategies

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35)

Recommendations

• Local consistency in parallel constraint satisfaction networks
• Fast parallel constraint satisfaction
• Fast parallel constraint satisfaction
• scientific article; zbMATH DE number 4049150
• On the parallel complexity of discrete relaxation in constraint satisfaction networks

Cited in

(17)

• A tagging method for parallel constraint satisfaction
• The logic of constraint satisfaction
• Fast parallel constraint satisfaction
• Local consistency in parallel constraint satisfaction networks
• On parallel partial solutions and approximation schemes for local consistency in networks of constraints
• SCIP-Jack -- a solver for STP and variants with parallelization extensions
• Fast and parallel decomposition of constraint satisfaction problems
• On the parallel complexity of discrete relaxation in constraint satisfaction networks
• Multithreaded constraint programming: A hybrid approach
• scientific article; zbMATH DE number 5613972 (Why is no real title available?)
• scientific article; zbMATH DE number 4162274 (Why is no real title available?)
• scientific article; zbMATH DE number 4051404 (Why is no real title available?)
• scientific article; zbMATH DE number 4072451 (Why is no real title available?)
• Parallel implementation of a class reasoner
• Fast parallel constraint satisfaction
• Handbook of parallel constraint reasoning
• scientific article; zbMATH DE number 2086856 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3493326)