default search action
"Solving QBF with heuristic small world optimization search algorithm."
Tao Li, Nanfeng Xiao (2015)
- Tao Li, Nanfeng Xiao:
Solving QBF with heuristic small world optimization search algorithm. Int. Arab J. Inf. Technol. 12(4): 370-378 (2015)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.