Cargando…
The Impact of Entropy and Solution Density on Selected SAT Heuristics
We present a new characterization of propositional formulas called entropy, which approximates the freedom we have in assigning the variables. Like several other such measures (e.g., back-door and back-door-key variables), it is computationally expensive to compute. Nevertheless, for small and mediu...
| Autores principales: | , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
MDPI
2018
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7513231/ https://www.ncbi.nlm.nih.gov/pubmed/33265802 http://dx.doi.org/10.3390/e20090713 |