Empirical Study of the Behavior of Conflict Analysis in CDCL Solvers.

Djamal Habet Donia Toumi

Published in: CP (2013)

Keyphrases

empirical studies
empirical analysis
sat solvers
real world data sets
np hard
industrial applications
sat solving