Login / Signup

pEvoSAT: a novel permutation based genetic algorithm for solving the boolean satisfiability problem.

Boris ShabashKay C. Wiese
Published in: GECCO (2013)
Keyphrases
  • sat solvers
  • timetabling problem
  • reinforcement learning
  • satisfiability problem
  • objective function
  • special case
  • co occurrence
  • sat problem