Concepedia
1984 · 39 citations · 0 references
ComputingComputer ScienceAlgorithmsArtificial IntelligenceAutomated ReasoningBacktracking AlgorithmsConstraint SatisfactionData-flow AnalysisBacktracking Search