The Impact of Entropy and Solution Density on Selected SAT Heuristics

Dor Cohen, Ofer Strichman. The Impact of Entropy and Solution Density on Selected SAT Heuristics. Entropy, 20(9):713, 2018. [doi]

Authors

Dor Cohen

This author has not been identified. Look up 'Dor Cohen' in Google

Ofer Strichman

This author has not been identified. Look up 'Ofer Strichman' in Google