Login / Signup

Estimating the Number of Solutions for SAT Problems.

Colin R. ReevesMériéma Aupetit-Bélaidouni
Published in: PPSN (2004)
Keyphrases
  • phase transition
  • sat problem
  • optimal solution
  • evolutionary algorithm
  • dynamic programming
  • knowledge representation
  • np complete