Breaking Symmetries in SAT Matrix Models.

Inês Lynce João P. Marques Silva

Published in: SAT (2007)

Keyphrases

statistical models
probabilistic model
data sets
prior knowledge
experimental data
boolean satisfiability