,

Improving Local Search for Satisfiability Problem by Integrating Structural Properties.

, и .
RIVF, стр. 50-57. IEEE, (2007)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии