Login / Signup

On the imbalance of distributions of solutions of CNF-formulas and its impact on satisfiability solvers.

Ewald SpeckenmeyerMax BöhmPeter Heusch
Published in: Satisfiability Problem: Theory and Applications (1996)
Keyphrases
  • cnf formula
  • optimal solution
  • probability distribution
  • information retrieval
  • reinforcement learning
  • multi objective
  • class distribution
  • stable set