Pages that link to "Item:Q5617288"

The following pages link to Experiments in automatic learning for a multipurpose hueristic program (Q5617288):

Displaying 11 items.

• A new approach to the symbolic factorization of multivariate polynomials (Q1228373) (← links)
• An analysis of alpha-beta pruning (Q1238442) (← links)
• Problem representations and formal properties of heuristic search (Q1238643) (← links)
• A comparison and evaluation of three machine learning procedures as applied to the game of checkers (Q1843174) (← links)
• The \(Q^*\) algorithm - a search strategy for a deductive question-answering system (Q1844090) (← links)
• Finding resolution proofs and using duplicate goals in AND/OR trees (Q2549243) (← links)
• Experiments with a heuristic theorem-proving program for predicate calculus with equality (Q2551695) (← links)
• A program that computes limits using heuristics to evaluate the indeterminate forms (Q2562568) (← links)
• (Q4069752) (← links)
• Experiments in the heuristic use of past proof experience (Q4647545) (← links)
• MRPPS?An interactive refutation proof procedure system for question-answering (Q4766066) (← links)