Improving probability selection based weights for satisfiability problems

Huimin Fu 0002, Jun Liu 0001, Guanfeng Wu, Yang Xu 0001, Geoff Sutcliffe. Improving probability selection based weights for satisfiability problems. Knowl.-Based Syst., 245:108572, 2022. [doi]

Authors

Huimin Fu 0002

This author has not been identified. Look up 'Huimin Fu 0002' in Google

Jun Liu 0001

This author has not been identified. Look up 'Jun Liu 0001' in Google

Guanfeng Wu

This author has not been identified. Look up 'Guanfeng Wu' in Google

Yang Xu 0001

This author has not been identified. Look up 'Yang Xu 0001' in Google

Geoff Sutcliffe

This author has not been identified. It may be one of the following persons: Look up 'Geoff Sutcliffe' in Google