SCORE(FD/B) : résolution de problèmes SAT aléatoires et structurés.

Jacqueline Chabrier Vincent Juliard Jean-Michel Richer

Published in: JFPLC (1995)

Keyphrases

search algorithm
mathematical model
data sets
reinforcement learning
np complete
search strategy
solution space
satisfiability problem
linear equations