Making exhaustive search programs deterministic
From MaRDI portal
Publication:1094889
DOI10.1007/BF03037456zbMath0631.68074MaRDI QIDQ1094889
Publication date: 1987
Published in: New Generation Computing (Search for Journal in Brave)
parallelismprogram transformationcompilationexhaustive searchProlog programsHorn-clause programmultiple binding environments
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) General topics in the theory of software (68N01)
Related Items
Uses Software
Cites Work