Plasmids to Solve #3SAT.

Rani Siromoney Bireswar Das

Published in: Aspects of Molecular Computing (2004)

Keyphrases

sat solvers
satisfiability problem
weighted max sat
data sets
machine learning
objective function
search algorithm
mathematical programming
sat problem
variable ordering