Login / Signup

SAT-Problems and Reductions with Respect to the Number of Variables.

Etienne GrandjeanHans Kleine Büning
Published in: J. Log. Comput. (1997)
Keyphrases
  • evolutionary algorithm
  • bayesian networks
  • satisfiability problem
  • constraint satisfaction problems