Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search.

Zbigniew Stachniak

Published in: AISC (2004)

Keyphrases

stochastic local search
satisfiability problem
solving hard
combinatorial optimisation
randomly generated
phase transition
machine learning
logic programming
knowledge representation
max sat
tree search
computationally hard problems
neural network
expert systems
upper bound
constraint satisfaction problems