Login / Signup

A Study of Local Minimum Avoidance Heuristics for SAT.

Thach-Thao DuongDuc Nghia PhamAbdul Sattar
Published in: ECAI (2012)
Keyphrases
  • empirical studies
  • real time
  • statistical analysis
  • experimental study
  • theoretical framework