Login / Signup
LATTIS: An Iterative Speedup Heuristic for Mapped Logic.
John P. Fishburn
Published in:
DAC (1992)
Keyphrases
</>
orders of magnitude
logic programming
modal logic
search algorithm
feasible solution
proof theory
heuristic solution
predicate logic
computational properties
beam search
solution quality
constraint satisfaction
dynamic programming
data sets
probability theory
multi valued
tabu search
optimal solution
decision trees